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

Standard No.

ISO/IEC 13568:2002/Cor 1:2007

Release Date

2007

Published By

IX-ISO/IEC

Latest

ISO/IEC 13568:2002/Cor 1:2007

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

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