Indisponible en français
La version électronique de cette Norme internationale peut être téléchargée à partir du site Web du Groupe de travail ISO/CEI sur les technologies de l'information (ITTF)

Résumé

 Prévisualiser

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.


Informations générales 

  • État actuel
     : Publiée
    Date de publication
     : 2002-07
  • Edition
     : 1
  • Comité technique
     : ISO/IEC JTC 1/SC 22 Langages de programmation, leur environnement et interfaces des logiciels de systèmes
  • ICS
     :
    35.060 Langages utilisés dans les technologies de l'information

Acheter cette norme

Format Langue
Papier
  • CHF208

Cycle de vie

Vous avez une question?

Consulter notre FAQ

Service à la clientèle
+41 22 749 08 88

Horaires d’ouverture:
De lundi à vendredi - 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Store
  3. Catalogue de normes
  4. TC
  5. ISO/IEC JTC 1/SC 22
  6. ISO/IEC 13568:2002