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