1035812

ISO/IEC 13568:2002

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

standard by International Organization for Standardization/International Electrotechnical Commission , 07/01/2002

📝 Amendments Available

View all product details

Most Recent

Track It

Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 1-2 business days
    • $278.00
    • Add to Cart

Customers Who Bought This Also Bought

Identical Versions Available

 

About This Item

 

Full Description

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.
 

Product Details

Published:
07/01/2002
Number of Pages:
189
File Size:
1 file , 1.2 MB
Same As:
BS ISO/IEC 13568:2002, BS ISO/IEC 13568:2002
Note:
This product is unavailable in Russia, Ukraine, Belarus
 

Amendments, rulings, supplements, and errata

  1. ISO/IEC 13568 Ed. 1.0 en CORR1:2007

    Free
    Download


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

  2. ISO/IEC 13568/Cor1:2007

    Free
    Download


    Corrigendum