KS X ISO/IEC 13568:2004
Информационные технологии. Формальная нотация спецификации Z. Синтаксис, система типов и семантика.

Стандартный №

KS X ISO/IEC 13568:2004

Дата публикации

2004

Разместил

Korean Agency for Technology and Standards (KATS)

состояние

быть заменен

быть заменен

KS X ISO/IEC 13568-2004(2019)

Последняя версия

KS X ISO/IEC 13568-2004(2019)

KS X ISO/IEC 13568:2004 История

• 0000 KS X ISO/IEC 13568-2004(2019)
• 2004 KS X ISO/IEC 13568:2004 Информационные технологии. Формальная нотация спецификации Z. Синтаксис, система типов и семантика.