Mechanizing proof : computing, risk, and trust /

Bibliographic Details
Main Author:	MacKenzie, Donald A.
Corporate Author:	NetLibrary, Inc
Format:	eBook
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. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online