Program logics for certified compilers

Andrew W. Appel

Salvar edição
Ler sinopse completa
Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel | 2014

Descrição: Program Logics for Certified Compilers

Veja as outras undefined ofertas de novos deste livro: