by Donald MacKenzie
Paperback
ISBN: 978-0-262-63295-9
ISBN-10: 0-262-63295-0
MIT Press · 2004
|
|
by Donald MacKenziePaperback
ISBN: 978-0-262-63295-9 ISBN-10: 0-262-63295-0 MIT Press · 2004 |
| See also: | ||
| 2001 | Hardcover | Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) |