logo

Standards Manage Your Business

We Manage Your Standards

ISO

ISO/IEC 13568:2002

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

Standard Details

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.

General Information

Status : Published
Standard Type: Main
Document No: ISO/IEC 13568:2002
Document Year: 2002
Pages: 189
Edition: 1
  • Section Volume:
  • ISO/IEC JTC 1/SC 22. Programming languages, their environments and system software interfaces
  • ICS:
  • 35.060 Languages used in information technology

Life Cycle

Currently Viewing

Published
ISO/IEC 13568:2002
Knowledge Corner

Expand Your Knowledge and Unlock Your Learning Potential - Your One-Stop Source for Information!

© Copyright 2024 BSB Edge Private Limited.

Enquire now +