ISO/IEC 13568:2002/COR1:2007
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
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.