imagem ilustrativa
Program logics for certified compilers
Andrew W. Appel
Salvar edição
Compartilhar
- Editora: Cambridge University Press
- Ano: 2014
- ISBN: 9781107048010
- Program logics for certified compilers

Descrição: Program Logics for Certified Compilers