ISO/IEC 13817-1-ed.1.0

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

NORM herausgegeben am 19.12.1996

Englisch -
Elektronische PDF (297.50 EUR)

Englisch -

CD-ROM (299.10 EUR)

The information about the standard:

Designation standards: ISO/IEC 13817-1-ed.1.0
Publication date standards: 19.12.1996
The number of pages: 399
Approximate weight : 1228 g (2.71 lbs)
Country: International technical standard
Kategorie: Technische Normen ISO

Annotation of standard text ISO/IEC 13817-1-ed.1.0 :

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.