Books by Andrew W. Appel
6 titles available, newest first by original publication date.
Program Logics for Certified Compilers
Program Logics for Certified Compilers
Andrew W. Appel
$129.99
Alan Turing's Systems of Logic: The Princeton Thesis
Alan Turing's Systems of Logic: The Princeton Thesis
Andrew W. Appel
$16.99
Compiling with Continuations
Compiling with Continuations
Andrew W. Appel
$129.99
Modern Compiler Implementation in C
Modern Compiler Implementation in C
Andrew W. Appel
$128.99
Modern Compiler Implementation in ML
Modern Compiler Implementation in ML
Andrew W. Appel
$128.99
Modern Compiler Implementation in Java
Modern Compiler Implementation in Java
Andrew W. Appel
$142.99