Program logics for certified compilers /

Библиографические подробности
Главный автор: Appel, Andrew W., 1960-
Формат: Printed Book
Язык:English
Предметы:
Computer software > Verification.
Logic, Symbolic and mathematical.
Compilers (Computer programs)

University of Calicut

Подробно о фондах из University of Calicut
Шифр: 005.14 APP/P
Копировать Недоступно состояние Live" What does mean the status Live (working)

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