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

+7 (495) 223-46-76 +7 (812) 309-78-59
inform@normdocs.ru
О компании Стандарты Контакты Заказать стандарт
СтандартыISO

ISO/IEC 13568:2002

Действует
Information technology. Z formal specification notation. Syntax, type system and semantics — 196 стр.
ОписаниеИзмененияСсылкиВерсии

Ссылочные документы

ISO/IEC 13568:2002/Cor.1:2007
Действует
Information technology -- Z formal specification notation -- Syntax, type system and semantics -- Technical Corrigendum 1 — 12 стр.

На этот документ ссылаются

ISO/IEC 13568:2002/Cor.1:2007
Действует
Information technology -- Z formal specification notation -- Syntax, type system and semantics -- Technical Corrigendum 1 — 12 стр.
PD ISO/IEC TR 14369:2018
Действует
Information technology. Programming languages, their environments and system software interfaces. Guidelines for the preparation of language-independent service specifications (LISS) — 76 стр.