Cena s DPH / bez DPH
Tato norma již není platná, pro více informací nás kontaktujte.
sklademVydáno: 2002
ISO/IEC 13568:2002
ISO/IEC 13568:2002-Information technology — Z formal specification notation — Syntax, type system and semantics
Měna
| Označení normy: | ISO/IEC 13568:2002 |
| Počet stran: | 189 |
| Vydání: | 1 |
| Vydáno: | 2002 |
| Jazyk: | Anglicky |
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.