| Обозначение | ISO/IEC 13568:2002/Cor.1:2007 |
| Статус | Действует |
| Вид стандарта | ST |
| Заглавие на русском языке | Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика. Техническая поправка 1 |
| Заглавие на английском языке | Information technology -- Z formal specification notation -- Syntax, type system and semantics -- Technical Corrigendum 1 |
| Код КС (ОКС, МКС) | 35.060 |
| Документы изменяемые (дополняемые) данным | ISO/IEC 13568:2002 |
| ТК – разработчик стандарта | JTC 1/SC 22 |
| Язык оригинала | английский |
| Номер издания | 1 |
| Дата опубликования | 11.07.2007 |
| Количество страниц оригинала | 12 |
| Код цены | * |
| Примечание | |
 |