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:2021 Information technology – Top-level ontologies (TLO) – Part 1: Requirements
CDN $0.00 Add to cart -
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 21838:2021 Information technology – Top-level ontologies (TLO) – Part 2: Basic Formal Ontology (BFO)
CDN $0.00 Add to cart -
ISO 18661:2015 Information Technology – Programming languages, their environments, and system software interfaces – Floating-point extensions for C – Part 2: Decimal floating-point arithmetic
CDN $351.00 Add to cart
