Don't have a credit card? Never mind we support BANK TRANSFER .

Log inSign up
LANGUAGE en
Menu
STOREHelp centerContactsDelivery chargesABOUT US News
SEARCH
0
Total price
0 EUR
PRICES include / exclude VAT
Homepage>ISO 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
download between 0-24 hoursReleased: 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

Format
Availability
Price and currency
English PDF
Immediate download
255.00 EUR
English Hardcopy
In stock
255.00 EUR
Standard´s number:ISO/IEC 13817-1:1996
Pages:399
Edition:1
Released:1996
Language:English
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