NEN-ISO/IEC 13568
Information technology - Z formal specification notation - Syntax, type system and semantics
active
| Organization: | NEN |
| Publication Date: | 1 August 2002 |
| Status: | active |
| Page Count: | 198 |
| ICS Code (Languages used in information technology): | 35.060 |
scope:
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 mathematical operators; - LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: - any method of using Z, though an informative annex (E) describes one widely-used convention.
Document History
July 1, 2007
Information technology - Z formal specification notation - Syntax, type system and semantics
A description is not available for this item.
NEN-ISO/IEC 13568
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...