ISO/IEC 13568:2002

No disponible en español

Publicado (Edición 1, 2002)

Esta publicación se revisó y confirmó por última vez en 2021. Por lo tanto, esta versión es la actual.

CHF 0

Gastos de envío no incluidos

The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site

Resumen

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.