KS X ISO/IEC 13568(2019 Confirm)
Information technology - Z formal specification notation - Syntax, type system and semantics
На языке оригинала
Заказать перевод
Библиография
Обозначение
KS X ISO/IEC 13568(2019 Confirm)
Международный стандарт
ISO/IEC 13568:2002(IDT)
Заглавие на английском языке
Information technology - Z formal specification notation - Syntax, type system and semantics
Дата опубликования
2004.11.19
Код МКС
35.140
Стандарт KS X ISO/IEC 13568(2019 Confirm) входит в рубрики классификатора:
ОКС \ ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ. МАШИНЫ КОНТОРСКИЕ \ Компьютерная графика \
Постоянная ссылка
https://www.standards.ru/document/6842810.aspx