Logo

ISO/IEC 13817-1:1996

Current Revision

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

$278.00

$278.00

$472.60


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


Stay effortlessly up-to-date with the latest standard revisions. When new versions are released, they're automatically charged and delivered to you, ensuring seamless compliance.

Document Preview Not Available...

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