0 Stavka
Moj nalog
Telefon: (011) 7541-421, 3409-301, 3409-335, 6547-293, 3409-310
E-mail: Prodaja standarda: prodaja@iss.rs Seminari, obuke: iss-edukacija@iss.rs Informacije o standardima: infocentar@iss.rs
Stevana Brakusa 2, 11030 Beograd
Glavni meni

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

Međunarodni standard

35.060  

engleski  

Kupovina

Objavljen

Jezik na kome želite da primite dokument.

Apstrakt

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.

Životni ciklus

TRENUTNO

OBJAVLJEN
ISO/IEC 13568:2002
90.93 Odluka o potvrđivanju standarda
29. 4. 2021.

ISPRAVKE / IZMENE

OBJAVLJEN
ISO/IEC 13568:2002/Cor 1:2007