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.20     15. 4. 2026.

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.20 Почетак поступка преиспитивања стандарда
15. 4. 2026.

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

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

Преглед

Да бисте видели цео садржај, морате се регистровати или пријавити помоћу корисничког имена које већ имате.

Пријавите се