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