INCITS/ISO/IEC 13568:2002
Информационные технологии. Нотация формальной спецификации Z. Система типов Syntax@ и семантика.

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

INCITS/ISO/IEC 13568:2002

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

2002

Разместил

ANSI - American National Standards Institute

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

INCITS/ISO/IEC 13568:2002

INCITS/ISO/IEC 13568:2002 История

• 2002 INCITS/ISO/IEC 13568:2002 Информационные технологии. Нотация формальной спецификации Z. Система типов Syntax@ и семантика.