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