ISO/IEC 13568:2002
Information technology — Z formal specification notation — Syntax, type system and semantics
| Fecha edición: |
2002-07-04
En Vigor
|
|---|---|
| Fecha de corrección: | 2007-07-15 |
| Idiomas disponibles: | Inglés |
| ICS: | 35.060 - Lenguajes utilizados en tecnología de la información |
| CTN: | 45202 |
|
Correcciones Normas |
Es corregida por ISO/IEC 13568:2002/Cor 1:2007 |
|
Normas Conjuntas |
Trabajo conjunto ISO/IEC 13568:2002 |










