Language:
    • Available Formats
    • Options
    • Availability
    • Priced From ( in USD )
    • Printed Edition
    • Ships in 2-3 business days
    • $267.00
    • Add to Cart
    • Printed Edition + PDF
    • Immediate download
    • $470.00
    • Add to Cart

Customers Who Bought This Also Bought

 

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.
 

Amendments & Errata

  1. ISO/IEC 13568/Cor1:2007

    Free
    Download


    Corrigendum