0 Ставка
Мој налог
Телефон: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Продаја стандарда: prodaja@iss.rs Семинари, обуке: iss-edukacija@iss.rs Информације о стандардима: infocentar@iss.rs
Стевана Бракуса 2, 11030 Београд
Главни мени

ISO/IEC 13568:2002

Information technology — Z formal specification notation — Syntax, type system and semantics
4. 7. 2002.

Опште информације

90.93     29. 4. 2021.

ISO/IEC

ISO/IEC JTC 1/SC 22

Међународни стандард

35.060  

енглески  

Куповина

Објављен

Језик на коме желите да примите документ.

Апстракт

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.

Животни циклус

ТРЕНУТНО

ОБЈАВЉЕН
ISO/IEC 13568:2002
90.93 Одлука о потврђивању стандарда
29. 4. 2021.

ИСПРАВКЕ / ИЗМЕНЕ

ОБЈАВЉЕН
ISO/IEC 13568:2002/Cor 1:2007