An edition of Mechanizing Proof (2001)
Mechanizing Proof
Computing, Risk, and Trust (Inside Technology)
By Donald MacKenzie
0 (0 Ratings)
2 Want to read0 Currently reading0 Have read
2 Want to read0 Currently reading0 Have read
Publish Date
October 1, 2001
Publisher
The MIT Press,MIT Press
Language
eng
Pages
445
RelatedBooks