Buy Used and New Xavier Leroy Books

Program Logics for Certified Compilers

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

ISBN 13: 9781107048010

Format: Hardcover (472 pages)
Publisher: Cambridge University Press
Published: 21 Apr 2014

Save for later