Ir directamente al contenido principal
Aplicaciones
OBP
español
English
français
русский
Menú
Normas
Sectores
Salud
Tecnologías de la información y afines
Gestión y servicios
Seguridad, protección y gestión de riesgos
Transporte
Energía
Diversidad e inclusión
Sostenibilidad ambiental
Alimentos y agricultura
Materiales
Edificación y construcción
Ingeniería
Sobre nosotros
Perspectivas y actualidad
Perspectivas
Todos los artículos
Salud
Inteligencia artificial
Cambio climático
Ciberseguridad
Gestión de la calidad
Energías renovables
Seguridad y salud en el trabajo
Actualidad
Opinión de expertos
El mundo de las normas
Kit de prensa
Participar
Tienda
Buscar
Carrito
Reference number
ISO/IEC 13568:2002/Cor 1:2007
© ISO 2025
Corrigendum
International Standard
ISO/IEC 13568:2002/Cor 1:2007
Information technology — Z formal specification notation — Syntax, type system and semantics — Technical Corrigendum 1
Edition 1
2007-07
Preview
ISO/IEC 13568:2002/Cor 1:2007
46112
ISO/IEC 13568:2002/Cor 1:2007
Information technology — Z formal specification notation — Syntax, type system and semantics
Technical Corrigendum 1
No disponible en español
Publicado
(Edición 1, 2007)
Informaciones generales
Estado
:
Publicado
Fecha de publicación
:
2007-07
Etapa
: Norma Internacional publicada [
60.60
]
Edición
: 1
Número de páginas
: 10
Comité Técnico :
ISO/IEC JTC 1/SC 22
ICS
:
35.060
RSS
actualizaciones
Ciclo de vida
Ahora
Publicado
ISO/IEC 13568:2002/Cor 1:2007
Etapa:
60.60
00
Preliminar
10
Propuesta
20
Preparación
30
Comité
30.99
2007-04-13
CD aprobado para su registro como DIS
40
Consulta
50
Aprobación
60
Publicación
60.00
2007-06-27
Norma Internacional en proceso de publicación
60.60
2007-07-11
Norma Internacional publicada
90
Revisión
95
Retirada
¿Tiene alguna duda?
Consulte nuestras
Ayuda y asistencia
Añadir al carrito