ISO/IEC 13817-1-ed.1.0 img
Active standard | Published: 19/12/1996

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

Available languages: English

Available design: electronic design (pdf), CD-ROM

from 339.30 USD show on eshop

Detail information

Designation: ISO/IEC 13817-1-ed.1.0

Publication date: 19/12/1996

Pages: 399

Country: International technical standard

Where to buy?

You can buy at www.mystandards.biz

Anotation

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.
Loading
Cookies Cookies

Potřebujeme Váš souhlas k využití jednotlivých dat, aby se Vám mimo jiné mohli ukazovat informace týkající se Vašich zájmů. Souhlas udělíte kliknutím na tlačítko „OK“.

Souhlas můžete odmítnout zde.

Zde máte možnost přizpůsobit si nastavení souborů cookies v souladu s vlastními preferencemi.

Potřebujeme Váš souhlas k využití jednotlivých dat, aby se Vám mimo jiné mohli ukazovat informace týkající se Vašich zájmů.