Cookies
Potřebujeme váš souhlas k využití jednotlivých dat, aby se vám mimo jiné mohly ukazovat informace týkající se vašich zájmů. Souhlas udělíte kliknutím na tlačítko „OK“.
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
Přeložit název
NORMA vydána dne 19.12.1996
Informace o normě:
Označení normy: ISO/IEC 13817-1-ed.1.0
Datum vydání normy: 19.12.1996
Kód zboží: NS-940933
Počet stran: 399
Přibližná hmotnost: 1228 g (2.71 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO
Kategorie - podobné normy:
Anotace textu normy 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.
Doporučujeme:
Aktualizace technických norem
Chcete mít jistotu, že používáte pouze platné technické normy?
Nabízíme Vám řešení, které Vám zajistí měsíční přehled o aktuálnosti norem, které používáte.
Chcete vědět více informací? Podívejte se na tuto stránku.
