Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel , Robert Dockins , Aquinas Hobor
Ainda sem avaliações
2014 · Inglês · Kindle · 2 edições
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura

Avaliações

Nenhuma avaliação ainda

Seja o primeiro a avaliar este livro e compartilhe seus pensamentos

Faça login para Avaliar
Adicionar à Estante

Avalie este livro


Exportar Diário de Leitura