Homepage>IEC Standards>ISO/IEC 13568:2002/COR1:2007 - Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1
download between 0-24 hoursReleased: 2007-07-11
ISO/IEC 13568:2002/COR1:2007
Information technology - Z formal specification notation - Syntax, type system and semantics - Technical Corrigendum 1