Mechanizing proof computing, risk, and trust

Mechanizing proof computing, risk, and trust

Saved in:

Bibliographic Details
Main Author:	MacKenzie, Donald A
Format:	Book
Published:	Cambridge, Mass. MIT Press 2001
Series:	Inside technology
Subjects:	Computer systems > Reliability Computers and civilization
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Trustworthy computing analytical and quantitative engineering evaluation
by: Sahinoglu, Mehmet 1951-
Published: (2007)

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

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

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

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

The seductive computer why IT systems always fail
by: Partridge, D. 1945- Derek
Published: (2011)

Reliability in computer system design
by: Dhillon, B. S
Published: (1987)

Safety of computer architectures
Published: (2010)

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

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

Software engineering of fault tolerant systems
Published: (2007)

Software reliability a study of large project reality
by: Thayer, Thomas A
Published: (1978)

Software reliability methods
by: Peled, Doron A 1962-
Published: (2001)

SafeWare system safety and computers
by: Leveson, Nancy
Published: (1995)

Predictably dependable computing systems
Published: (1995)

Software reliability guide book
by: Glass, Robert L
Published: (1979)

Digital woes why we should not depend on software
by: Wiener, Lauren
Published: (1993)

Software reliability achievement and assessment
Published: (1987)

Software reliability principles and practices
by: Myers, Glenford J. 1946-
Published: (1976)

RELIABLE COMPUTER SYSTEMS DESIGN AND EVALUATION
by: Siewiorek, Daniel P., et al.
Published: (2018)

Computer-related risks
by: Neumann, Peter 1932-
Published: (1995)

Dependability benchmarking for computer systems
Published: (2008)

Integrity and recovery in computer systems
by: Gibbons, Terry 1948-
Published: (1976)

Achieving safety and reliability with computer systems
Published: (1987)

A safety licensable computing architecture
Published: (1993)

Dependability in electronic systems mitigation of hardware failures, soft errors, and electro-magnetic disturbances
Published: (2011)

Reliable software technologies Ada-Europe 2000 proceedings of the ...held June 26 - 20, 2000
Published: (2000)

Computer performance and reliability proceedings of the Second International MCPR Workshop held in Rome, Italy, May 25-29, 1987
Published: (1988)

Dependability of critical computer systems guidelines produced by the European Workshop on Industrial Computer Systems, Techniacl Committee 7 (EWICS TC7)
Published: (1989)

Dependability of critical computer systems 1 guidelines produced by the European Workshop on Industrial Computer Systems, Technical Committee 7 (EWICS TC&7)
Published: (1988)

Dependability of critical computer systems 3 techniques directory, guidelines produced by the European Workshop on Industrial Computer systems, Technical Committee 7 (EWICS TC7)
Published: (1990)

Advances in Reliability and Optimization of Structural Systems PROCEEDINGS OF THE TWELFTH WG 7.5 WORKING CONFERENCE ON RELIABILITY AND OPTIMIZATION OF STRUCTURAL SYSTEMS, AALBORG, DENMARK, MAY 22-25, 2005
Published: (2006)

Reliable computer systems design and evaluation
by: Siewiorek, Daniel P
Published: (1998)

Reliable computer systems design and evaluation
by: Siewiorek, Daniel P, et al.
Published: (1992)

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

Software quality and software testing in Internet times
Published: (2002)

Error-free software know-how and know-why of program correctness
by: Baber, Robert Laurence
Published: (1991)

Software testing techniques finding the defects that matter
Published: (2005)

Virus proof
by: Schmauder, Phil
Published: (2000)

Computer system performance modeling in perspective a tribute to the work of Professor Kenneth C. Sevcik
Published: (2006)