Program Logics for Certified Compilers
by Andrew W. Appel,Robert Dockins,Aquinas Hobor,Lennart Beringer,Josiah Dodds,Gordon Stewart,Sandrine Blazy,Xavier Leroy
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
New : $109.95