Mechanizing proof computing, risk, and trust

Bibliografske podrobnosti
Glavni avtor:	MacKenzie, Donald A.
Format:	Knjiga
Jezik:	English
Izdano:	Cambridge, Mass. MIT Press c2001.
Serija:	Inside technology
Teme:	Computer systems > Reliability. Computers and civilization.
Online dostop:	Table of contents