ISO/IEC 13568-ed.1.0

Information technology - Z formal specification notation - Syntax, type system and semantics

NORMA vydaná dňa 4.7.2002

Anglicky -
Elektronické PDF (NA OTÁZKU)

Anglicky -

Tlačené (NA OTÁZKU)

Anglicky -

CD-ROM (NA OTÁZKU)

Informácie o norme:

Označenie normy: ISO/IEC 13568-ed.1.0
Dátum vydania normy: 4.7.2002
Počet strán: 189
Približná hmotnosť: 598 g (1.32 libier)
Krajina: Medzinárodná technická norma
Kategória: Technické normy ISO

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.