Program Logics for Certified Compilers

Loading edition detail...

Preparing this view.

Program Logics for Certified Compilers

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy

Bookitis Pick

Cover for Program Logics for Certified Compilers

Image source: Open Library

Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine BlazyPublished 2014cover on file

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Cambridge University Press
Pages	472
Search language	english
ISBN_13	978-1-107-04801-0 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

Program Logics for Certified Co...Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds
PL
Program Logics for Certified Compilers
Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds | Cambridge University Press | 2014
Program Logics for Certified Co...Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds
PL
Program Logics for Certified Compilers
Andrew W. Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds | Cambridge University Press | 2014