Browse editions

Current edition
Program Logics for Certified Compilers by Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

Program Logics for Certified Compilers

Xaiser Leroy, Robert Dockins, Xavier Leroy, Aquinas Hobor, Josiah Dodds, Lennart Beringer, Gordon Stewart, Andrew W. Appel, Sandrine Blazy

472 pages • 2014

education challenging informative medium-paced
Other editions (1)
Expand filter menu Filter editions
Program Logics for Certified Compilers by Andrew W. Appel

Program Logics for Certified Compilers

Andrew W. Appel

472 pages • hardcover • 2014

education challenging informative medium-paced