IEC - International Electrotechnical Commission - ISO/IEC 13568:2002/COR1:2007
Corrigendum 1 - Information technology -- Z formal specification notation -- Syntax, type system and semantics -
published
Buy Now
| Organization: | IEC - International Electrotechnical Commission |
| Publication Date: | 11 July 2007 |
| Status: | published |
| Page Count: | 10 |
| ICS Code (Languages used in information technology): | 35.060 |
abstract:
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.
Document History
ISO/IEC 13568:2002/COR1:2007
July 11, 2007
Corrigendum 1 - Information technology -- Z formal specification notation -- Syntax, type system and semantics -
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.
July 4, 2002
Information technology -- Z formal specification notation -- Syntax, type system and semantics
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site. The following are within the scope of this International...