Indisponible en français

État actuel : Publiée (En cours d'examen)

Le dernier examen de cette norme date de 2008. Cette édition reste donc d’actualité.
Format Langue
PDF
Papier
  • CHF216
Convertir les francs suisses (CHF) dans une autre devise

Résumé

Specifies the model based specification language VDM-SL (Vienna Development Method - Specification Language). Contains the mathematical and interchange representation, gives the syntax, the static and the dynamic semantics, and conformity for specification and tools.

Standard first page

Prévisualiser 

Prévisualiser cette norme sur notre Plateforme de consultation en ligne (OBP)

Informations générales

  • État actuel
     : Publiée
    Date de publication
     : 1996-12
    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 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 13817-1:1996