ISO/IEC 13568:2002/Cor 1:2007

Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1 ISO/IEC 13568:2002/Cor 1:2007

General information

Current stage: 60.60 Standard published Jul 11, 2007

Originator: ISO/IEC

Owner: ISO/IEC JTC 1/SC 22 Programming languages, their environments and system software interfaces

Type: International Standard

ICS: 35.060 Languages used in information technology

Life cycle

PREVIOUSLY

PUBLISHED
ISO/IEC 13568:2002

NOW

PUBLISHED
ISO/IEC 13568:2002/Cor 1:2007
60.60 Standard published
Jul 11, 2007