Further Details

Title: Mechanizing Proof
Condition: New
Subtitle: Computing, Risk, and Trust
Author: Donald Mackenzie
Format: Paperback
ISBN-10: 0262632950
EAN: 9780262632959
ISBN: 9780262632959
Publisher: MIT Press
Genre: Science Nature & Math
Release Date: 30/01/2004
Language: English
Country/Region of Manufacture: US
Item Height: 229mm
Item Length: 152mm
Item Width: 25mm
Item Weight: 635g
Book Series: Inside Technology
Release Year: 2004

Missing Information?

Please contact us if any details are missing and where possible we will add the information to our listing.