International Standard
ISO/IEC 13817-1:1996
Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language — Part 1: Base language
Reference number
ISO/IEC 13817-1:1996
Edición 1
1996-12
© ISO 2024
International Standard
Vista previa
No disponible en español
Publicado (Edición 1, 1996)
Esta norma se revisó y confirmó por última vez en 2008. Por lo tanto, esta versión es la actual.

ISO/IEC 13817-1:1996

Formato
Idioma
CHF 216
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.

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