Cover Image

Mechanizing proof : computing, risk, and trust /

Show other versions (1)

Most aspects of our private and social lives--our safety, the integrity of the financial system, the functioning of utilities and other services, and national security--now depend on computing. But how can we know that this computing is trustworthy? In Mechanizing Proof, Donald MacKenzie addresses t...

Full description

Bibliographic Details
Main Author:	MacKenzie, Donald A.
Format:	eBook
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©2001.
Series:	Inside technology
Subjects:	Computer systems > Reliability. Computers and civilization. SCIENCE, TECHNOLOGY & SOCIETY/General Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Mechanizing proof : computing, risk, and trust /
by: MacKenzie, Donald A.
Published: (2001)

Reliability of computer systems and networks : fault tolerance, analysis and design /
by: Shooman, Martin L.
Published: (2002)

Proof and System-Reliability /
by: Schwichtenberg, Helmut
Published: (2002)

Computer system reliability : safety and usability /
by: Dhillon, B. S. (Balbir S.), 1947-
Published: (2013)

Reliability of computer systems and networks : fault tolerance, analysis and design /
by: Shooman, Martin L. (Martin Lawrence), 1934-
Published: (2002)

ENIAC in action : making and remaking the modern computer /
by: Haigh, Thomas, 1972-, et al.
Published: (2016)

Computer systems performance evaluation and prediction /
by: Fortier, Paul J.
Published: (2003)

Computer systems performance evaluation and prediction /
by: Fortier, Paul J.
Published: (2003)

The Reliability of expert systems /
Published: (1989)

On computing : the fourth great scientific domain /
by: Rosenbloom, Paul S.
Published: (2013)

Performance evaluation of complex systems : techniques and tools : performance 2002 tutorial lectures /
Published: (2002)

Fatal defect : chasing killer computer bugs /
by: Peterson, Ivars
Published: (1996)

Design and analysis of reliable and fault-tolerant computer systems /
by: Abd-El-Barr, Mostafa, 1950-
Published: (2007)

Analytical performance modeling for computer systems /
by: Tay, Y. C.
Published: (2010)

Analytical performance modeling for computer systems /
by: Tay, Y. C.
Published: (2010)

The day the phones stopped : the computer crisis--the what and why of it, and how we can beat it /
by: Lee, Leonard, 1960-
Published: (1991)

Trust management : third international conference, iTrust 2005, Paris, France, May 23-26, 2005 : proceedings /
Published: (2005)

Burdens of proof : cryptographic culture and evidence law in the age of electronic documents /
by: Blanchette, Jean-François
Published: (2012)

Trust management : second international conference, iTrust 2004, Oxford, UK, March 29-April 1, 2004 : proceedings /
Published: (2004)

Computers and design in context /
Published: (1997)

Applications strategies for risk analysis /
by: Charette, Robert N.
Published: (1990)

Computer performance evaluation : modelling techniques and tools : 12th international conference, TOOLS 2002, London, UK, April 14-17, 2002 : proceedings /
Published: (2002)

Computer performance evaluation : modelling techniques and tools : 13th international conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003 : proceedings /
Published: (2003)

Dependable computing : design and assessment /
by: Iyer, Ravishankar K., et al.
Published: (2024)

Computer systems performance evaluation and prediction /
by: Fortier, Paul J.
Published: (2003)

Trust, computing, and society /
Published: (2014)

Computer safety, reliability and security : 18th international conference, SAFECOMP'99, Toulouse, France, September 27-29, 1999 : proceedings /
Published: (1999)

Computer safety, reliability and security : 17th international conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998 : proceedings /
Published: (1998)

Dependable systems : software, computing, networks : research results of the DICS program /
Published: (2006)

Computing systems reliability /
Published: (1979)

Dependability metrics : advanced lectures /
Published: (2008)

Open systems dependability : dependability engineering for ever-changing systems /
Published: (2015)

Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)

Software engineering of fault tolerant systems /
Published: (2007)

Fault-tolerant systems /
by: Koren, Israel, 1945-
Published: (2007)

Building a monitoring infrastructure with Nagios /
by: Josephsen, David
Published: (2007)

Concurrency in dependable computing /
Published: (2002)

Trust management : 4th international conference, iTrust 2006, Pisa, Italy, May 16-19, 2006 : proceedings /
Published: (2006)

Reliable computer systems : collected papers of the Newcastle Reliability Project /
Published: (1985)

Resilient computing systems /
Published: (1985)