ISO/IEC 13568:2002

Published (Edition 1, 2002)

This publication was last reviewed and confirmed in 2021. Therefore this version remains current.

CHF 216

Convert Swiss francs (CHF) to your currency

The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

Abstract

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.