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

Current Reaffirmation
Information technology - Z formal specification notation - Syntax, type system and semantics (Adopted ISO/IEC 13568:2002, first edition, 2002-07-01)

Best Price Guarantee Jan 1, 2004 English 219 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
or
CSA CAN/CSA-ISO/IEC 13568:04 (R2022) PDF Preview
CSA 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)
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
Loading...

Failed to load document history.

Publish Date Document Id Type View