Cover Image

Mechanizing proof : computing, risk, and trust /

Main Author:	MacKenzie, Donald A.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, ©2001.
Series:	Inside technology
Subjects:	Computer systems > Reliability. Computers and civilization. Systèmes informatiques > Fiabilité Ordinateurs et civilisation. COMPUTERS > Software Development & Engineering > Systems Analysis & Design. Computersystemen. Verificatie. Automatische bewijsvoering. Bewijstheorie. Betrouwbaarheid.

Similar Items

Moths to the flame : the seductions of computer technology /
by: Rawlins, Gregory J. E.
Published: (1996)

Embedded systems and computer architecture /
by: Wilson, G. R.
Published: (2002)

Hypertext : theory into practice /
Published: (1999)

Grid computing : the savvy manager's guide /
by: Plaszczak, Pawel.
Published: (2006)

The grid : blueprint for a new computing infrastructure /
Published: (2004)

Dependability benchmarking for computer systems
Published: (2008)

Model checking /
by: Clarke, E. M., 1945-
Published: (1999)

Software for dependable systems sufficient evidence? /
Published: (2007)

A networking approach to grid computing /
by: Minoli, Daniel, 1952-
Published: (2005)

Computer architecture : a quantitative approach /
by: Hennessy, John L.
Published: (2007)

Virtual machines : versatile platforms for systems and processes /
by: Smith, James E. 1950-
Published: (2005)

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

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

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

Dependability metrics : advanced lectures /
Published: (2008)

Customizable embedded processors : design technologies and applications /
by: Ienne, Paolo.
Published: (2007)

Learning networks : a field guide to teaching and learning online /
Published: (1995)

Cyborgs@cyberspace? : an ethnographer looks to the future /
by: Hakken, David,
Published: (1999)

Effective business intelligence systems /
by: Thierauf, Robert J.
Published: (2001)

Embedded systems architecture : a comprehensive guide for engineers and programmers /
by: Noergaard, Tammy.
Published: (2005)

Mapping cyberspace /
by: Dodge, Martin, 1971-
Published: (2003)

Fuzzy expert systems and fuzzy reasoning /
by: Siler, William.
Published: (2005)

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

IEEE transactions on dependable and secure computing I326
Published: (2004)

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

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

Design of dependable computing systems/
by: Geffroy, Jean-Claude
Published: (2002)

Principles of model checking /
by: Baier, Christel.
Published: (2008)

Fault injection techniques and tools for embedded systems reliability evaluation
Published: (2003)

Fault injection techniques and tools for embedded systems reliability evaluation/
Published: (2003)

Εισαγωγή στο σύστημα MS-DOS 5: γιά τον IBM-PC και τους Συμβατούς/
Published: (1992)

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

Proof technology and computation /
Published: (2006)

Computer hardware, system software, and architecture /
by: Luce, Thom
Published: (1989)

Computer application for engineering
by: Khanna, Rajiv.
Published: (2007)

Security and embedded systems /
Published: (2006)

Software reliability : measurement, prediction, application /
by: Musa, John D.
Published: (1987)

AntiPatterns :refactoring software, architectures, and projects in crisis /
Published: (1998)

Software quality and reliability: tools and methods/
Published: (1991)

Continuous delivery and DevOps a quickstart guide /
by: Swartout, Paul.
Published: (2012)

Cannot write session to /tmp/vufind_sessions/sess_jhl6u1a2qapcs6ohv5gcag8cb6