ISO/IEC 13568:2002
p
ISO/IEC 13568:2002
21573
No disponible en español

Estado : Publicado (En proceso de revisión)

Esta norma se revisó y confirmó por última vez en 2021. Por lo tanto, esta versión es la actual.
es
Formato Idioma
std 1 216 Papel
  • CHF216
Convertir Franco suizo (CHF) a tu moneda
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.

Preview 

Previsualice esta norma en nuestra Plataforma de navegación en línea (OBP)

Informaciones generales

  •  : Publicado
     : 2002-07
    : Norma Internacional confirmada [90.93]
  •  : 1
     : 189
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS actualizaciones

Ciclo de vida

Got a question?

Check out our FAQs

Customer care
+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)