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

Best Price Guarantee Dec 15, 1996 English 1 Pages

Sub Total (1 Item(s)) $ 0.00
Estimated Shipping $ 0.00
Total (Pre-Tax) $ 0.00

You own the digital copy of this edition

View in Library
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

PUBLISH DATE 1996
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.

Loading...

Failed to load document history.

Publish Date Document Id Type View