Program Logics for Certified Compilers
- Título:
- Program Logics for Certified Compilers
- Materia:
- Computer Science; Earth and Environmental Science: General Interest; Evolutionary Biology; History of Science
- Editor:
- Cambridge University Press
- Descripción:
- Coursebooks
- Identificadores:
- E-ISBN: 9781107256552; 9781107048010 ISBN:
- Colección:
- Cambridge University Press