Inside Technology
Mechanizing Proof
Computing, Risk, and Trust
Paperback
$40.00
Paperback
ISBN: 9780262632959
Pub date: January 30, 2004
Publisher: The MIT Press
440 pp., 6 x 9 in, 48 illus.
Hardcover
$52.00
Hardcover
ISBN: 9780262133937
Pub date: September 14, 2001
Publisher: The MIT Press
440 pp., 6 x 9 in, 48 illus.
-
Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association.
440 pp., 6 x 9 in, 48 illus.
- Paperback
- 9780262632959
- Published: January 2004
- Publisher: The MIT Press
$40.00
- Hardcover
- 9780262133937
- Published: September 2001
- Publisher: The MIT Press
$52.00
Related Books
