ISO/IEC 13568:2002

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

Media and price

Language	Format	Add to basket
English	PDF (1 273 kB)	CHF 252,00
English	Paper	CHF 252,00

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

General information

Number of Pages: 189

Edition: 1 (Monolingual)	ICS: 35.060
Status: Published	Stage: 90.93 (2007-12-21)
TC/SC: JTC 1/SC 22

Corrigenda, Amendments and other parts

ISO/IEC 13568:2002/Cor 1:2007

These standards could also interest you

ISO/IEC 9945:2009
Information technology -- Portable Operating System Interface (POSIX®) Base Specifications, Issue 7
ISO/IEC 24747:2009
Information technology -- Programming languages, their environments and system software interfaces -- Extensions to the C Library to support mathematical special functions
ISO/IEC TR 24732:2009
Information technology -- Programming languages, their environments and system software interfaces -- Extension for the programming language C to support decimal floating-point arithmetic