Dear customers, all orders for hardcopy versions will be sent on 6th January 2026, we wish you a Merry Christmas and a Happy New Year

Log inSign up
LANGUAGE en
Menu
STOREHelp centerContactsDelivery chargesABOUT US News
SEARCH
0
Total price
0 USD
PRICES include / exclude VAT
>IEC Standards>ISO/IEC 13817-1:1996 - Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
immediate downloadReleased: 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

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
English PDF
Immediate download
Printable
280.80 USD
Standard number:ISO/IEC 13817-1:1996
Released:1996-12-19
Edition:1
ICS:35.060
Pages (English):399
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.

Print