This standard was last reviewed and confirmed in 2021. Therefore this version remains current.
The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site
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  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.
Status: PublishedPublication date: 2002-07
Edition: 1Number of pages: 189
Technical Committee: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces
- ICS :
- 35.060 Languages used in information technology
Buy this standard
|std 1 208||Paper|
A standard is reviewed every 5 years
Stage: 90.93 (Confirmed)
Corrigenda / AmendmentsPublished
ISO/IEC 13568:2002/Cor 1:2007
Got a question?
Check out our FAQs
+41 22 749 08 88
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)
Keep up to date with ISO
Sign up to our newsletter for the latest news, views and product information.