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 13568-ed.1.0
Information technology - Z formal specification notation - Syntax, type system and semantics
Přeložit název
NORMA vydána dne 4.7.2002
| Jazyk | |
| Provedení |
|
| Dostupnost | SKLADEM |
| Cena | NADOTAZ bez DPH |
| NA DOTAZ | |
|
Objednat včetně oprav
|
Informace o normě:
Označení normy: ISO/IEC 13568-ed.1.0
Datum vydání normy: 4.7.2002
Kód zboží: NS-940911
Počet stran: 189
Přibližná hmotnost: 598 g (1.32 liber)
Země: Mezinárodní technická norma
Kategorie: Technické normy ISO
Kategorie - podobné normy:
Anotace 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 této normě náleží tyto opravy:
ISO/IEC 13568-ed.1.0/Cor.1
Oprava
Zobrazit všechny technické informace
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
Oprava vydána dne 11.7.2007
Vybrané provedení:Zobrazit všechny technické informace
Doporučujeme:
