ISO/IEC 13568:2002/Cor 1:2007
Tecnología de la información. Notación de especificación formal Z. Sintaxis, sistema de tipos y semántica. Corrigendum técnico 1.

Estándar No.

ISO/IEC 13568:2002/Cor 1:2007

Fecha de publicación

2007

Organización

IX-ISO/IEC

Ultima versión

ISO/IEC 13568:2002/Cor 1:2007

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

• 2007 ISO/IEC 13568:2002/Cor 1:2007 Tecnología de la información. Notación de especificación formal Z. Sintaxis, sistema de tipos y semántica. Corrigendum técnico 1.
• 2002 ISO/IEC 13568:2002 Tecnología de la información - Notación de especificación formal Z - Sintaxis, sistema de tipos y semántica