Back to Philosophy Books
Program Logics for Certified Compilers
by Andrew W. Appel, Xavier Leroy, Robert Dockins, Lennart Beringer, Sandrine Blazy
0.0 out of 5 (0 reviews)
Available Formats
View PDF
View EPUB
View MOBI
View FB2
Similar Books
Companions on the trail
The sword of the spirits
Sam Youd
The life of Alice Freeman Palmer
Uncommon danger
Eric Ambler
