![header thumbnail](/images/publishers\iso_cover.gif)
ISO/IEC 13817-1:1996
Current
The latest, up-to-date edition.
![header thumbnail](/images/publishers\iso_cover.gif)
Information technology Programming languages, their environments and system software interfaces Vienna Development Method Specification Language Part 1: Base language
Hardcopy , PDF , PDF 3 Users , PDF 5 Users , PDF 9 Users
English
19-12-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.
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.