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