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