ANSI - INCITS/ISO/IEC 13568
Information technology - Z formal specification notation - Syntax, type system and semantics
active, Most Current
Buy Now
| Organization: | ANSI |
| Publication Date: | 1 July 2002 |
| Status: | active |
| Page Count: | 196 |
Document History
INCITS/ISO/IEC 13568
July 1, 2002
Information technology - Z formal specification notation - Syntax, type system and semantics
A description is not available for this item.
July 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...