🔥🔥 Don’t Miss Out on Our End of Autumn Sale. If you have any questions, feel free to click the bottom right corner to contact our customer service..

Concat us[email protected]
Shopping Cart

No products in the cart.

🔍
CAN/CSA-ISO/IEC 13568-04:2004 Edition

CAN/CSA-ISO/IEC 13568-04:2004 Edition

$57.20

Information Technology – Z Formal Specification Notation – Syntax, Type System and Semantics

Published By Publication Date Number of Pages
CSA 2004 212
PDF Format Searchable Printable Preview Now
Guaranteed Safe Checkout
Categories: ,

If you have any questions, feel free to reach out to our online customer service team by clicking on the bottom right corner. We’re here to assist you 24/7.
Email:[email protected]

Technical corrigendum #1 to this standard is available.

Scope

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.

Related products

CAN/CSA-ISO/IEC 13568-04
$57.20