Reference number
ISO/IEC 13817-1:1996
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
Edition 1
1996-12
Preview
ISO/IEC 13817-1:1996
22988
No disponible en español
Publicado (Edición 1, 1996)
Esta publicación se revisó y confirmó por última vez en 2024. Por lo tanto, esta versión es la actual.

ISO/IEC 13817-1:1996

ISO/IEC 13817-1:1996
22988
Idioma
Formato
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

  •  : Publicado
     : 1996-12
    : Norma Internacional confirmada [90.93]
  •  : 1
     : 399
  • ISO/IEC JTC 1/SC 22
    35.060 
  • RSS actualizaciones

¿Tiene alguna duda?

Consulte nuestras Ayuda y asistencia