Le dernier examen de cette norme date de 2021. Cette édition reste donc d’actualité.
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é Preview
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éeDate de publication : 2002-07
-
Edition : 1
-
Comité technique:Langages de programmation, leur environnement et interfaces des logiciels de systèmes
-
- ICS :
-
Langages utilisés dans les technologies de l'information
Acheter cette norme
| Format | Langue | |
|---|---|---|
| Papier |
- CHF198
Cycle de vie
-
Actuellement
PubliéeISO/IEC 13568:2002
Les normes ISO sont réexaminées tous les cinq ans
Stade: 90.93 (Confirmée)Rectificatifs techniques / Amendements
PubliéeISO/IEC 13568:2002/Cor 1:2007
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)
Suivez l'actualité de l'ISO
Inscrivez-vous à notre Newsletter (en anglais) pour suivre nos actualités, points de vue et informations sur nos produits.