UNLIMITED FREE ACCESS TO THE WORLD'S BEST IDEAS

close
Already an Engineering360 user? Log in.

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Customize Your Engineering360 Experience

close
Privacy Policy

This is embarrasing...

An error occurred while processing the form. Please try again in a few minutes.

Webinars & White Papers

CSA ISO/IEC 13568

Information technology - Z formal specification notation - Syntax, type system and semantics

active, Most Current
Buy Now
Organization: CSA
Publication Date: 1 January 2004
Status: active
Page Count: 212
ICS Code (Languages used in information technology): 35.060
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.

Document History

Information technology — Z formal specification notation — Syntax, type system and semantics — TECHNICAL CORRIGENDUM 1
A description is not available for this item.
CSA ISO/IEC 13568
January 1, 2004
Information technology - Z formal specification notation - Syntax, type system and semantics
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...
January 1, 2004
Information technology - Z formal specification notation - Syntax, type system and semantics
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...
January 1, 2004
Information technology Z formal specification notation Syntax, type system and semantics
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...

References

Advertisement