NEN-ISO/IEC 13568/C1
Information technology - Z formal specification notation - Syntax, type system and semantics
active, Most Current
| Organization: | NEN |
| Publication Date: | 1 July 2007 |
| Status: | active |
| Page Count: | 14 |
| ICS Code (Languages used in information technology): | 35.060 |
Document History
NEN-ISO/IEC 13568/C1
July 1, 2007
Information technology - Z formal specification notation - Syntax, type system and semantics
A description is not available for this item.
August 1, 2002
Information technology - Z formal specification notation - Syntax, type system and semantics
The following are within the scope of this International Standard: - the syntax of the Z notation; - the type system of the Z notation; - the semantics of the Z notation; - a toolkit of widely used...