Каталог стандартов

+7 (495) 223-46-76 +7 (812) 309-78-59
inform@normdocs.ru

ISO/IEC 13568:2002

Действует
Information technology. Z formal specification notation. Syntax, type system and semantics — 196 стр.
Information technology -- Z formal specification notation -- Syntax, type system and semantics -- Technical Corrigendum 1 — 12 стр.