
ISO 13817:1996
ISO 13817:1996 Information technology – Programming languages, their environments and system software interfaces – Vienna Development Method – Specification Language – Part 1: Base language
CDN $435.00
SKU: 917eb5ba74d8
Category: ICS:35.060
Description
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.
Edition
1
Published Date
1996-12-19
Status
PUBLISHED
Pages
399
Format 
Secure PDF
Secure – PDF details
- Save your file locally or view it via a web viewer
- Viewing permissions are restricted exclusively to the purchaser
- Device limits - 3
- Printing – Enabled only to print (1) copy
See more about our Environmental Commitment
Abstract
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.
Previous Editions
Can’t find what you are looking for?
Please contact us at:
Related Documents
-

ISO 19514:2017 Information technology – Object management group systems modeling language (OMG SysML)
CDN $0.00 Add to cart -

ISO 24772:2024 Programming languages – Avoiding vulnerabilities in programming languages – Part 1: Language-independent catalogue of vulnerabilities
CDN $0.00 Add to cart -

ISO 14882:2024 Programming languages – C++
CDN $438.00 Add to cart -

ISO 19570:2018 Programming Languages – Technical Specification for C++ Extensions for Parallelism
CDN $347.00 Add to cart







