Cena s DPH / bez DPH
Hlavní stránka>ISO/IEC 13817-1:1996-Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language-Part 1: Base language
Tato norma již není platná, pro více informací nás kontaktujte.
sklademVydáno: 1996
ISO/IEC 13817-1:1996-Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language-Part 1: Base language

ISO/IEC 13817-1:1996

ISO/IEC 13817-1:1996-Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language-Part 1: Base language

Měna
6 600 Kč
Označení normy:ISO/IEC 13817-1:1996
Počet stran:399
Vydání:1
Vydáno:1996
Jazyk:Anglicky
Popis

ISO/IEC 13817-1:1996


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.