Menu
0
Total price
0 €
PRICES include / exclude VAT
Main page>ISO/IEC 13817-1:1996-Information technology — Programming languages, their environments and system software interfaces — Vienna Development Method — Specification Language-Part 1: Base language
Not available online - contact us!
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

CURRENCY
273.18 €
Označení normy:ISO/IEC 13817-1:1996
Počet stran:399
Vydání:1
Vydáno:1996
Jazyk:Anglicky
DESCRIPTION

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.