![header thumbnail](/images/publishers\iso_cover.gif)
ISO/IEC 13568:2002
Current
The latest, up-to-date edition.
![header thumbnail](/images/publishers\iso_cover.gif)
Information technology Z formal specification notation Syntax, type system and semantics
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
04-07-2002
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.
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.