Similar Listings
Hilbert's Programs and Beyond by Wilfried Sieg Hardcover Oxford
Program Proofs, Leino, K. Rustan M., Excellent Book
Certified Programs and Proofs - 9783642353079
Certified Programs and Proofs - 9783642253782
Program Proofs
Types for Proofs and Programs : International Workshop, TYPES 200
Gonthier - Certified Programs and Proofs Third International Confere - X555z
Formal Development of Programs and Proofs edited by Edsger Dijkstra (hardcover)