IEC > Webstore > Search > Register > Check out > Payment > Order confirmation

Publication detail

 
Reference ISO/IEC 13817-1 ed1.0 withdrawn corrigendum
> preview
Title Information technology -- Programming languages, their environments and system software interfaces -- Vienna Development Method -- Specification Language -- Part 1: Base language
Publication date 1996-12-19
Format, price
(Swiss francs)
and language
198.- 399 pages
 
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.
Technical Committee JTC 1/SC 22 - Programming languages, their environments and system software interfaces  RSS
ICS Codes
35.060 Languages used in information technology
 
Replaced by
 
Work in progress
ProjectStage codeForecast publication date
No project under development--


Search

>> Advanced search

Quick access by ref. number



Basket

Your basket is empty
Your country is :
Your TVA is : You must login...

Payment

Accepted credit cards:
Prices in CHF (Swiss francs)
Request a pro forma to pay by bank transfer or cheque
Learn how to share your publications with your colleagues, using networking options
Prices in CHF (Swiss francs)
We accept the following credit cards:
To pay by bank transfer: request a pro forma
If you purchase regularly through the IEC Webstore you can open a corporate account

Just Published

>> Published in the last 30 days

Bestsellers

  1. IEC 60601-1-2 Ed. 4.0
  2. IEC 60529 Ed. 2.2
  3. IEC 60825-1 Ed. 3.0
  4. IEC 62682 Ed. 1.0
  5. IEC 61000-4-5 Ed. 3.0
  6. IEC 61010-1 Ed. 3.0
  7. IEC 61439-1 Ed. 2.0
  8. IEC 60079-0 Ed. 6.0
  9. IEC 61000-3-2 Ed. 4.0
  10. IEC 61439-2 Ed. 2.0