Normal view MARC view ISBD view

Mechanizing proof [] : computing, risk, and trust / Donald MacKenzie

Auteur principal : MacKenzie, Donald A., 1950-....Publication : Cambridge, Mass. : MIT Press, c2001Description : 1 vol (XI-427 p.) : ill. en noir, couv. ill. en coul. ; 24 cmISBN : 0-262-13393-8.Dewey: 004/.2/1, freBibliographie: Bibliogr. p. 335-418. Index.Sujet - Nom d'actualité : Ordinateurs -- Fiabilité ;Ordinateurs et civilisation
Current location Call number Status Date due Barcode
Bib. Paris
EMP STS 7225 Available EMP68765D

Bibliogr. p. 335-418. Index

Powered by Koha