Skip navigation

Mechanizing Proof

Computing, Risk, and Trust
By Donald MacKenzie
$31.00
$31.00

View Complete Product Information

Specifications

Paperback

  • Pages: 440p.
  • Illustrations: 48 illus.
  • Dimensions: 6 x 9 inches
  • Publication Date: January 30, 2004
  • Distributor: The MIT Press
  • ISBN: 9780262632959
  • ISBN10: 0262632950