Загрузка...

Program Logics for Certified Compilers

Библиографические подробности
Главный автор: Andrew W Appel
Формат: Printed Book
Опубликовано: CUP 2014

Схожие документы