Cena s DPH / bez DPH
sklademVydáno: 2002-07-04
ISO/IEC 13568:2002
Information technology - Z formal specification notation - Syntax, type system and semantics
Formát
Dostupnost
Cena a měna
Anglicky Tisk
skladem
0 Kč
Anglicky PDF
K okamžitému stažení
0 Kč
| Označení normy: | ISO/IEC 13568:2002 |
| Vydáno: | 2002-07-04 |
| Edice: | 1 |
| ICS: | 35.060 |
Popis
ISO/IEC 13568:2002
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.