|
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 |
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings (Lecture Notes in Computer Science) by Lennart Beringer, Amy Felty, Lennart Amy Paperback, 419 Pages, Published 2012 by Springer ISBN-13: 978-3-642-32346-1, ISBN: 3-642-32346-4 |
Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings by Lennart Beringer, Amy Felty 419 Pages, Published 2012 by Springer ISBN-13: 978-3-642-32347-8, ISBN: 3-642-32347-2 |
Lennart Beringer