Norma ISO/IEC 13568-ed.1.0 4.7.2002 náhľad

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
CenaNAOTÁZKU bez DPH
NA OTÁZKU

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:

Jazyky používané v informační technologii

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

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
1.30


SKLADOM

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.




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

Súhlas môžete odmietnuť tu.

Tu máte možnosť prispôsobiť si nastavenia súborov cookies v súlade s vlastnými preferenciami.

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.