|
Searching ... |
0 % | |||
Program Logics for Certified Compilers(1st Edition) by Andrew W. Appel, Aquinas Hobor, Robert Dockins, Lennart Beringer, Josiah Dodds, Gordon Stewart, Sandrine Blazy, Xavier Leroy Hardcover, 472 Pages, Published 2014 by Cambridge University Press ISBN-13: 978-1-107-04801-0, ISBN: 1-107-04801-X |
Aquinas Hobor