Program Logics for Certified Compilers
, by Appel, Andrew W.; Dockins, Robert (CON); Hobor, Aquinas (CON); Beringer, Lennart (CON); Dodds, Josiah (CON)Note: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9781107048010 | 110704801X
- Cover: Hardcover
- Copyright: 4/21/2014