Program Logics for Certified CompilersAndrew Appel
Program Logics for Certified Compilers
Andrew Appel, Robert Dockins, Aquinas Hobor, Lennart Beringer, Josiah Dodds, Sandrine Blazy, Xavier Leroy
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
About the book
book by Andrew Appel
Book details
- Language
- English
- Pages
- 472
Data source: Wikidata