Mechanizing Proof

Computing, Risk, and Trust (Inside Technology)

Livre relié, 450 pages

Langue : English

Publié 1 octobre 2001 par The MIT Press.

ISBN :
978-0-262-13393-7
ISBN copié !

Voir sur OpenLibrary

Aucune note (0 critique)

2 éditions

Sujets

  • 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