Logo
Login Sign Up
Current Revision

ISO/IEC 13817-1:1996

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language
Best Price Guarantee

$278.00

2-5 Days

$278.00

SAVE 15%

$472.60


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


or
International Organization for Standardization Logo

ISO/IEC 13817-1:1996

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

Document Preview

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.

SDO ISO: International Organization for Standardization
Document Number ISO/IEC 13817
Publication Date Not Available
Language en - English
Page Count
Revision Level
Supercedes
Committee ISO/IEC JTC 1/SC 22/WG 19
Publish Date Document Id Type View
Not Available ISO/IEC 13817-1:1996 Revision