Mechanizing Proof: Computing, Risk, and Trust
- Author
- Donald A. MacKenzie
- Publisher
- The MIT Press
- Language
- English
- Year
- 2001
- ISBN
- 0262133938,9780262133937
- File Type
- epub
- File Size
- 2.3 MiB
How to Download?!!!
Just click on START button on Telegram Bot