Mechanizing proof computing, risk, and trust

Mechanizing proof computing, risk, and trust

Bibliografiset tiedot
Päätekijä: MacKenzie, Donald A.
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Cambridge, Mass. MIT Press c2001.
Sarja:Inside technology
Aiheet:
Computer systems > Reliability.
Computers and civilization.
Linkit:Table of contents