ISO/IEC 13817-1:1996
p
ISO/IEC 13817-1:1996
22988
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é.
fr
Format Langue
std 1 208 PDF
std 2 208 Papier
  • CHF208
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.

Informations générales

  •  : Publiée
     : 1996-12
    : Norme internationale confirmée [90.93]
  •  : 1
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS mises à jour

Prévisualiser 

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

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)