ISO/IEC 13568:2002
Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика
Статус: Действует Дата введения в действие: 04.07.2002
Обозначение | 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 |