Reference number
ISO/IEC 13568:2002
© ISO 2024
International Standard
ISO/IEC 13568:2002
Information technology — Z formal specification notation — Syntax, type system and semantics
Edition 1
2002-07
Preview
Indisponible en français
Publiée (Edition 1, 2002)
Cette publication a été révisée et confirmée pour la dernière fois en 2021. Cette édition reste donc d’actualité.

ISO/IEC 13568:2002

Langue
Format
CHF 216
Convertir les francs suisses (CHF) dans une autre devise
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é

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
    Stade
    : Norme internationale confirmée [90.93]
  • Edition
     : 1
  • Comité technique :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS mises à jour

Cycle de vie

Vous avez une question?

Consulter notre Aide et assistance

  2. Store
  3. Catalogue de normes
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13568:2002