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

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

KS X ISO/IEC 13568-2004(2019)

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

2004

Разместил

Korean Agency for Technology and Standards (KATS)

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

KS X ISO/IEC 13568-2004(2019)

KS X ISO/IEC 13568-2004(2019) История

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