Mechanizing Proof

Computing, Risk, and Trust (Inside Technology)

Hardcover, 450 pages

English language

Published Oct. 1, 2001 by The MIT Press.

ISBN:
978-0-262-13393-7
Copied ISBN!

View on OpenLibrary

Subjects

  • Impact of computing & IT on society
  • Impact of science & technology on society
  • Sociology, Social Studies
  • Computer Performance And Reliability
  • Computers And Society
  • Computers
  • Computers - General Information
  • Computer Books: General
  • Social Aspects - General
  • Sociology - General
  • Social Science / Sociology / General
  • Computer Science
  • Data Processing - General
  • Computer systems
  • Computers and civilization
  • Reliability