Aktivní norma | Vydána: 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

Dostupné jazyky: Anglicky

Dostupné provedení: Elektronické PDF, CD-ROM

od 7 169.60 CZK zobrazit na eshopu

Podrobné informace

Označení: ISO/IEC 13817-1-ed.1.0

Datum vydání: 19.12.1996

Stran: 399

Země: Mezinárodní technická norma

Kde koupit?

Můžete zakoupit na eshop.normservis.cz

Anotace

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.

Populární vydavatelé

celý katalog