"sociologie informatique." . . "Ordinadors i civilització." . . "Computers and civilization." . . "Betrouwbaarheid." . . "Ordinateurs Fiabilité." . . "preuve." . . "Sociologie van de wetenschap." . . "Systèmes informatiques Fiabilité" . . "Automatische bewijsvoering." . . "Computerunterstützter Beweis." . . "Verificatie." . . "science history" . . "Computadoras y civilización." . . "Elaboratori elettronici - Sicurezza di funzionamento." . . "risque." . . "Techniksoziologie." . . "Elaboratori elettronici - Valutazione." . . "Computer systems Reliability." . . "Ordinateurs et civilisation." . . "théorie démonstration." . . "Computer Kontrolle." . . "Computerarchitectuur. Operating systems." . . . . "Wissenschaftssoziologie." . . "COMPUTERS Software Development & Engineering Systems Analysis & Design." . . "history 20th century" . . "Automatisches Beweisverfahren." . . . "Mechanizing proof : computing, risk, and trust" . . . . "Most aspects of our private and social lives now depend on computing. But how can we know that this computing is trustworthy? In 'Mechanizing Proof', Donald MacKenzie addresses this key issue by investigating the interrelations of computing, risk, and mathematical proof." . . . . . . . . . . . . . . "Electronic books"@en . . . . . . . . . "Mechanizing proof : computing, risk and trust" . . . . . . . . . . . . . . . . . . . . . . . . . "Mechanizing proof computing, risk, and trust" . "Mechanizing proof computing, risk, and trust"@en . . . . . . . . . . "Zuverlässigkeit Computer." . . "computing" . . "Bewijstheorie." . . "Zuverlässigkeit." . . "Computer Soziale Auswirkungen." . . "sûreté fonctionnement." . . "Computer." . . "preuve formelle." . . "Ordinadors Fiabilitat." . . "Computersystemen." . .