ISO/IEC 13568:2002 Preview

Information technology -- Z formal specification notation -- Syntax, type system and semantics

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

General information

  • Current status : Published
    Publication date : 2002-07
  • Edition : 1
    Number of pages : 189
  • :
    ISO/IEC JTC 1/SC 22
    Programming languages, their environments and system software interfaces
  • 35.060
    Languages used in information technology

Buy this standard

Format Language
Paper
  • CHF198

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)

Life cycle

A standard is reviewed every 5 years



Revisions / Corrigenda