CSA ISO/IEC 13568-04-CAN/CSA:2004
Tecnología de la información Notación de especificación formal Z Sintaxis, sistema de tipos y semántica ISO/IEC 13568:2002

Estándar No.

CSA ISO/IEC 13568-04-CAN/CSA:2004

Fecha de publicación

2004

Organización

Canadian Standards Association (CSA)

Estado

Alcance

Esta parte de ISO/IEC 13719 define la vinculación de las interfaces del Entorno de herramientas comunes portátiles (PCTE), como se especifica en ISO/IEC 137 19-1, al lenguaje de programación Ada. Varias características no están completamente definidas en ISO/IEC 13719-1, cierta libertad