Mechanizing Proof
Subtitle: Computing, Risk, and Trust (Inside Technology)
Publisher: The MIT Press; MIT Press
Published: October 1, 2001
Language: eng
Format: Hardcover
Number of pages: 450
ISBN-13: 9780262133937
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