search for books and compare prices
Program Logics for Certified Compilers
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
With Andrew W. Appel, Robert Dockins (other contributor), Aquinas Hobor (other contributor), Lennart Beringer (other contributor) |
from Cambridge Univ Pr (April 21, 2014)
9781107048010 | details & prices | 458 pages | 6.25 × 9.25 × 1.00 in. | 1.65 lbs | List price $89.99
About: Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs.
About: Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of pointer-manipulating programs.