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 - 9783319035444
Program Proofs
Types for Proofs and Programs : International Workshop, TYPES 200
Formal Development of Programs and Proofs edited by Edsger Dijkstra (hardcover)
Types for Proofs and Programs : International Workshop, Types 2000, Durham, U...