Halloween Reads

Mechanizing Proof > Editions

by Donald Angus MacKenzie First published March 1st 2004

Sort by
Format
Language
Editions
Showing 1-3 of 3
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published January 30th 2004 by The MIT Press
Paperback, 440 pages
Author(s):
ISBN:
9780262632959 (ISBN10: 0262632950)
ASIN:
0262632950
Edition language:
English
Average rating:
4.38 (26 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
Published January 30th 2004 by MIT Press
Paperback, 440 pages
Author(s):
ASIN:
B07JX4SGB2
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) by Donald Mackenzie (2004-01-30)
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology) by Donald Mackenzie (2004-01-30)
Published January 1st 1755 by The MIT Press
Paperback Bunko, 0 pages
Author(s):
ASIN:
B01FIXTRY8
Edition language:
English
Average rating:
0.0 (0 ratings)
more details
Rate this book
Clear rating
1 of 5 stars2 of 5 stars3 of 5 stars4 of 5 stars5 of 5 stars

per page