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
-
Status: PublishedPublication date: 2002-07Stage: International Standard confirmed [90.93]
-
Edition: 1Number of pages: 189
-
Technical Committee :ISO/IEC JTC 1/SC 22ICS :35.060
- RSS updates
Read sample
Preview this standard in our Online Browsing Plateform (OBP)
Life cycle
-
Now
-
00
Preliminary
-
10
Proposal
-
20
Preparatory
-
30
Committee
-
40
Enquiry
-
50
Approval
-
60
Publication
-
90
Review
-
95
Withdrawal
Corrigenda / Amendments
PublishedISO/IEC 13568:2002/Cor 1:2007
-
00
Got a question?
Check out our FAQs
Customer care
+41 22 749 08 88
Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)