Mechanizing Proof
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | 2001 |
| Authors | Donald MacKenzie |
| Donald Alexander Mackenzie | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 2112227 |
About Mechanizing Proof
Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? . . .