by Donald MacKenzie
Hardcover
ISBN: 978-0-262-13393-7
ISBN-10: 0-262-13393-8
The MIT Press · 2001
|
|
by Donald MacKenzieHardcover
ISBN: 978-0-262-13393-7 ISBN-10: 0-262-13393-8 The MIT Press · 2001 |
| See also: | ||
| 2004 | Paperback | Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) |