Clicky

Books by Xavier Leroy and similar authors - Bookscovery

Home > Authors > Xavier Leroy

Xavier Leroy

All books by Xavier Leroy

(Displaying 1 Book)

Program Logics for Certified Compilers

Program Logics for Certified Compilers

Andrew W. Appel

Looking for another book by Xavier Leroy? Search for the book by title.