ISO/IEC 13568:2002

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

Datum objavljivanja: 4. 7. 2002.

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

Trenutna faza: 90.20 Effective date: 15. 4. 2026.

Inicijator: ISO/IEC

Pripada: ISO/IEC JTC 1/SC 22

Vrsta: Međunarodni standard

ICS: 35.060

Jezik: engleski

Kupovina

Status: Objavljen

PDF

Papir

PDF i papir

Jezik

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.20 Početak postupka preispitivanja standarda
15. 4. 2026.

ISPRAVKE / IZMENE

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

Pregled

Da biste videli ceo sadržaj, morate se registrovati ili prijaviti pomoću korisničkog imena koje već imate.

Prijavite se