1504126

CAN/CSA-ISO/IEC 13568-04 (R2022)

Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01), Includes Technical Corrigendum 1:2008

standard by Canada National Standard/Canadian Standards - ISO/IEC , 12/31/2003

View all product details

Most Recent

Track It

Language:
    • Available Formats
    •  
    • Availability
    • Priced From ( in USD )
    • Secure PDF 🔒
    • Immediate download
    • $295.00
    • Add to Cart
    • Printed Edition
    • Ships in 1-2 business days
    • $295.00
    • Add to Cart
    • Printed Edition + PDF
    • Immediate download
    • $398.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.

 

Product Details

Published:
12/31/2003
Number of Pages:
200
File Size:
1 file , 3.3 MB
Product Code(s):
2416205, 2416205