PRICES include / exclude VAT
sklademVydáno: 1996-12-19
ISO/IEC 13817-1:1996
Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
Format
Availability
Price and currency
Anglicky PDF
Immediate download
254.61 €
| Označení normy: | ISO/IEC 13817-1:1996 |
| Vydáno: | 1996-12-19 |
| Edice: | 1 |
| ICS: | 35.060 |
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.