Reference number
ISO/IEC 13568:2002
International Standard
ISO/IEC 13568:2002
Information technology — Z formal specification notation — Syntax, type system and semantics
Edition 1
2002-07
Read sample
ISO/IEC 13568:2002
21573
Published (Edition 1, 2002)
This publication was last reviewed and confirmed in 2021. Therefore this version remains current.

ISO/IEC 13568:2002

ISO/IEC 13568:2002
21573
Language
Format
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.

General information

  •  : Published
     : 2002-07
    : International Standard confirmed [90.93]
  •  : 1
     : 189
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS updates

Life cycle

Got a question?

Check out our Help and Support