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
1-2 of 2 Editions
Mechanizing ProofComputing, Risk, and Trust (Inside Technology)
Language: eng
Pages: 439
Published In: March 1, 2004
Publisher: The MIT Press
Mechanizing ProofComputing, Risk, and Trust (Inside Technology)
Language: eng
Pages: 450
Published In: October 1, 2001
Publisher: The MIT Press, MIT Press