Provably correct systems : modelling of communication languages and design of optimized compilers /

Сохранить в:
Библиографические подробности
Главный автор: He, Jifeng
Формат:
Язык:English
Опубликовано: London : McGraw-Hill, c1995.
Серии:The McGraw-Hill international series in software engineering
Предметы:

CARM 1 Store

Подробно о фондах из CARM 1 Store
Шифр: A2:AL37C0 F01116
Копировать 1 Доступно  Поместить задолженность