Standard ISO/IEC 13817-1-ed.1.0 19.12.1996 preview

ISO/IEC 13817-1-ed.1.0

Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method - Specification Language - Part 1: Base language

Translate name

STANDARD published on 19.12.1996


Language
Format
AvailabilityIN STOCK
Price345.50 USD excl. VAT
345.50 USD

The information about the standard:

Designation standards: ISO/IEC 13817-1-ed.1.0
Publication date standards: 19.12.1996
SKU: NS-940933
The number of pages: 399
Approximate weight : 1228 g (2.71 lbs)
Country: International technical standard
Category: Technical standards ISO

The category - similar standards:

Languages used in information technology

Annotation of standard text ISO/IEC 13817-1-ed.1.0 :

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.

We recommend:

Technical standards updating

Do you want to make sure you use only the valid technical standards?
We can offer you a solution which will provide you a monthly overview concerning the updating of standards which you use.

Would you like to know more? Look at this page.




Cookies Cookies

We need your consent to use the individual data so that you can see information about your interests, among other things. Click "OK" to give your consent.

You can refuse consent here.

Here you can customize your cookie settings according to your preferences.

We need your consent to use the individual data so that you can see information about your interests, among other things.