Program Logics for Certified Compilers
Andrew W. Appel
Download - Immediately Available
Format: eBook (PDF)
Computational Psychiatry : New Perspectives on Mental Illness
A. David Redish
Download - Immediately Available
Format: eBook (PDF)
Metareasoning : Thinking about Thinking
Michael T. Cox
Download - Immediately Available
Format: eBook (PDF)
Program Logics for Certified Compilers
Andrew W. (Princeton University, New Jersey) Appel
Out of stock
Format: Book (Hardback)