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 $390.00
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
Language
English
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 21838:2023 Information technology – Top-level ontologies (TLO) – Part 3: Descriptive ontology for linguistic and cognitive engineering (DOLCE)
CDN $115.00 Add to cart -
ISO 19583:2025 Information technology – Concepts and usage of metadata – Part 21: 11179-3, -31, -32 Data model in SQL
CDN $312.00 Add to cart -
ISO 19516:2020 Information technology – Object management group – Interface definition language (IDL) 4.2
CDN $390.00 Add to cart -
ISO 18661:2014 Information technology – Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 1: Binary floating-point arithmetic
CDN $351.00 Add to cart
