No disponible en español

Estado : Publicado (En proceso de revisión)

Esta norma se revisó y confirmó por última vez en 2008. Por lo tanto, esta versión es la actual.
Formato Idioma
PDF
Papel
  • CHF216
Convertir Franco suizo (CHF) a tu moneda

Resumen

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

Preview 

Previsualice esta norma en nuestra Plataforma de navegación en línea (OBP)

Informaciones generales

  • Estado
     : Publicado
    Fecha de publicación
     : 1996-12
    Etapa
    : Norma Internacional confirmada [90.93]
  • Edición
     : 1
    Número de páginas
     : 399
  • Comité Técnico :
    ISO/IEC JTC 1/SC 22
    ICS :
    35.060 
  • RSS actualizaciones

Ciclo de vida

Got a question?

Check out our FAQs

Customer care
+41 22 749 08 88

Opening hours:
Monday to Friday - 09:00-12:00, 14:00-17:00 (UTC+1)

  2. Tienda
  3. Standards catalogue
  4. ICS
  5. 35
  6. 35.060
  7. ISO/IEC 13817-1:1996