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