(812) 309-78-59
(495) 223-46-76
ISO/IEC 13568:2002
Information technology. Z formal specification notation. Syntax, type system and semantics
Информационные технологии. Нотация Z формальной спецификации. Синтаксис, система знаков и семантика
196 стр.
Действует
Электронный (pdf)
249.48 CHF (включая НДС 20%)
Разработчик:
Зарубежные/ISO
ICS:
35.060 Languages used in information technology / Языки, используемые в информационных технологиях