TOLL FREE · 1-888-361-0003 Our Customer Support is ready to help!
Formats Available:
Online,
Print
Product Overview
CAN/CSA-ISO/IEC 13568-04 (R2017)
CSA Group Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01)
Total
As low as
$295.00
More About This Product
Description
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.
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.