0

ISO/IEC 13568:2002

Information technology — Z formal specification notation — Syntax, type system and semantics ISO/IEC 13568:2002

Publication date:   Jul 4, 2002

General information

90.93 Standard confirmed   Apr 29, 2021

ISO/IEC

ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

International Standard

35.060   Languages used in information technology

Buying

Published

Language in which you want to receive the document.

Scope

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.

Life cycle

NOW

PUBLISHED
ISO/IEC 13568:2002
90.93 Standard confirmed
Apr 29, 2021

CORRIGENDA / AMENDMENTS

PUBLISHED
ISO/IEC 13568:2002/Cor 1:2007