Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)

by Donald MacKenzie
  • List Price: $52.00
  • ISBN-10: 0262133938
  • ISBN-13: 9780262133937
  • Edition: N/A
  • Type: Hardcover
  • Publisher: The MIT Press

About The Book

Winner of the 2003 Robert K. Merton Book Award presented by the Science, Knowledge, and Technology section of the American Sociological Association. ... Read more

FINDING THE BEST PRICES

Related Books

Gregg Coll Keybrdg Etc (Kit 4) (Lessons1-20) (GREGG...
  • Year: 2010
  • Edition: 11st
  • Publisher: McGraw-Hill College
  • Type: Paperback
  • ISBN13: 9780077377144
  • ISBN: 0077377141
PHP & MySQL: The Missing Manual
  • Year: 2011
  • Edition:
  • Publisher: Pogue Press
  • Type: Paperback
  • ISBN13: 9780596515867
  • ISBN: 0596515863
HOW 12: A Handbook for Office Professionals (How...
  • Year: 2009
  • Edition: 12nd
  • Publisher: Cengage Learning
  • Type: Spiral-bound
  • ISBN13: 9780324662399
  • ISBN: 0324662394