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  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.
Status: PublishedPublication date: 2002-07
Edition: 1Number of pages: 189
Technical Committee: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
Buy this standard
|std 1 208||Paper|