(812) 309-78-59
(495) 223-46-76
BS ISO/IEC 13568:2002
Information technology. Z formal specification notation. Syntax, type system and semantics
198 стр.
Действует
Печатная копияПечатное издание
480.82 £ (включая НДС 20%)
Разработчик:
Зарубежные/BSI
ICS:
35.060 Languages used in information technology / Языки, используемые в информационных технологиях
Ключевые слова:
Data processing, Syntax, Specification languages, Programming languages, Information exchange, Semantics