PRICES include / exclude VAT
Not available online - contact us!
sklademVydáno: 1996
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
| 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.
