“ISO/IEC 10027:1990 PDF” has been added to your cart. View cart
ISO/IEC 13568:2002 PDF
Original price was: $18.00.$14.04Current price is: $14.04.
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 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.
| Edition | 2002 |
|---|---|
| Published Date | 2002 |
| Published By | International Standardization Organisation /International Electrotechnical Commission |
| Page Count | 189 |
