ISO/IEC 13568:2002/COR1:2007
Corrigendum 1 - Information technology -- Z formal specification notation -- Syntax, type system and semantics -
Ausgabedatum:
2007-07
Edition:
1.0
Sprache: EN - englisch
Seitenzahl: 10 VDE-Artnr.: 222887
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.