Logo
Login Sign Up
Current Reaffirmation

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)
Best Price Guarantee
Instant

$295.00

5-10 Days

$295.00

SAVE 10%

$531.00


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


View in Library
or
...
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
SDO CSA: Canadian Standards Association
Document Number
Publication Date Jan. 1, 2004
Language en - English
Page Count 219
Revision Level
Supercedes
Committee
Loading...

Failed to load document history.

Publish Date Document Id Type View