|
ISO/IEC 13568:2002
(в архиве можно скачать текст в форматах doc,rar,zip,html)
| | Название (рус.): | Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика | | Название (англ.): | Information technology. Z formal specification notation. Syntax, type system and semantics | | Дата регистрации: | 31.07.02 | | Дата введения: | 01.07.02 | | Код ОКС(МКС): | 35.060 | | Нормативные ссылки: | ISO/IEC 10646-1:2000,ISO/IEC 10646-2:2001,ISO/IEC 14977:1996 | |
Скачать ISO/IEC 13568:2002 Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика
| |