ISO/IEC 13568:2002

Current Revision
Information technology - Z formal specification notation - Syntax, type system and semantics

Best Price Guarantee Jul 1, 2002 English 1 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
or
International Organization for Standardization Logo

ISO/IEC 13568:2002

Information technology - Z formal specification notation - Syntax, type system and semantics

PUBLISH DATE 2002
ISO/IEC 13568: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.
Loading...

Failed to load document history.

Publish Date Document Id Type View