Displayed currency: USD
Price display: excl. VAT

  2. Publishers
  3. Technical standards ISO
  4. Standard "ISO/IEC 13817-1-ed.1.0"
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
Price335.60 USD excl. VAT
335.60 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

Print
Send to a colleague
Query

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.

Latest update: 2026-07-14 (Number of items: 2 286 733)
© Copyright 2026 NORMSERVIS s.r.o.



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.

Cookies Cookie - Settings
Close

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

Technical cookies
These cookies are essential for the proper functioning of the website and all the functions that the website offers. Technical cookies cannot be turned off because they are responsible for storing products in the cart, setting up filters, performing the shopping process, favorites list and privacy settings.
Show more
Analytical cookies
Analytical cookies allow us to measure the performance of our website and our advertising campaigns. They are used to determine the number of visits and sources of visits to our website. We process the data obtained through these cookies in a summary manner, without the use of identifiers that point to specific users of our website. If you turn off the use of analytical cookies in relation to your visit, we lose the ability to analyze performance and optimize our actions.
Show more
Personalized cookies
We also use cookies and other technologies to tailor our business to the needs and interests of our customers and prepare an exceptional shopping experience for you. By using personalized cookies, we can avoid explaining unwanted information, such as inappropriate product recommendations or useless special offers. In addition, the use of personalized cookies allows us to offer you additional features, such as product recommendations tailored to your needs.
Show more
Advertising cookies
Advertising cookies are used by us or our partners so that we can display suitable content or advertisements both on our website and on the websites of third parties. Thanks to this, we can create profiles based on your interests, so-called pseudonymized profiles. Based on this information, it is usually not possible to immediately identify you, because only pseudonymized data is used. If you do not consent, you will not be the recipient of content and ads tailored to your interests.
Show more

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