Cookies
Potrebujeme váš súhlas na využitie jednotlivých dát, aby sa vám okrem iného mohli ukazovať informácie týkajúce sa vašich záujmov. Súhlas udelíte kliknutím na tlačidlo „OK“.
ISO/IEC 13568-ed.1.0
Information technology - Z formal specification notation - Syntax, type system and semantics
NORMA vydaná dňa 4.7.2002
| Jazyk | |
| Prevedenie |
|
| Dostupnosť | SKLADOM |
| Cena | NAOTÁZKU bez DPH |
| NA OTÁZKU | |
|
Objednať vrátane opráv
|
Informácie o norme:
Označenie normy: ISO/IEC 13568-ed.1.0
Dátum vydania normy: 4.7.2002
Kód tovaru: NS-940911
Počet strán: 189
Približná hmotnosť: 598 g (1.32 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy ISO
Kategórie - podobné normy:
Anotácia textu normy ISO/IEC 13568-ed.1.0 :
The following are within the scope of this International Standard: _ the syntax of the Z notation; _ the type system of the Z notation; _ the semantics of the Z notation; _ a toolkit of widely used mathematical operators; _ LATEX [10] and e-mail mark-ups of the Z notation. The following are outside the scope of this International Standard: _ any method of using Z, though an informative annex (E) describes one widely-used convention.
K tejto norme patria tieto opravy:
ISO/IEC 13568-ed.1.0/Cor.1
Oprava
Zobraziť všetky technické informácie
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
Oprava vydaná dňa 11.7.2007
Vybraný formát:Zobraziť všetky technické informácie
Odporúčame:
Aktualizácia technických noriem
Chcete mať istotu, že používate len platné technické normy?
Ponúkame Vám riešenie, ktoré Vám zaistí mesačný prehľad o aktuálnosti noriem, ktoré používate.
Chcete vedieť viac informácií ? Pozrite sa na túto stránku.
