Mechanizing proof computing, risk, and trust

http://www.w3.org/1999/02/22-rdf-syntax-ns#type

http://schema.org/CreativeWork
http://schema.org/Book

http://schema.org/about

http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinadors_i_civilitzacio
http://experiment.worldcat.org/entity/work/data/797185255#Topic/elaboratori_elettronici_sicurezza_di_funzionamento
http://experiment.worldcat.org/entity/work/data/797185255#Topic/preuve
http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatische_bewijsvoering
http://experiment.worldcat.org/entity/work/data/797185255#Topic/surete_fonctionnement
http://id.loc.gov/authorities/subjects/sh85029572
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computing
http://experiment.worldcat.org/entity/work/data/797185255#Topic/betrouwbaarheid
http://experiment.worldcat.org/entity/work/data/797185255#Topic/sociologie_informatique
http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinateurs_et_civilisation
http://experiment.worldcat.org/entity/work/data/797185255#Topic/zuverlassigkeit
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computers_software_development_&_engineering_systems_analysis_&_design
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computer_kontrolle
http://experiment.worldcat.org/entity/work/data/797185255#Topic/preuve_formelle
http://id.loc.gov/authorities/subjects/sh98003200
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computer_systems_reliability
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computers_and_civilization
http://experiment.worldcat.org/entity/work/data/797185255#Topic/science_history
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computerarchitectuur_operating_systems
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computer
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computersystemen
http://experiment.worldcat.org/entity/work/data/797185255#Topic/techniksoziologie
http://experiment.worldcat.org/entity/work/data/797185255#Topic/sociologie_van_de_wetenschap
http://experiment.worldcat.org/entity/work/data/797185255#Topic/wissenschaftssoziologie
http://experiment.worldcat.org/entity/work/data/797185255#Topic/bewijstheorie
http://experiment.worldcat.org/entity/work/data/797185255#Topic/history_20th_century
http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinadors_fiabilitat
http://experiment.worldcat.org/entity/work/data/797185255#Topic/zuverlassigkeit_computer
http://experiment.worldcat.org/entity/work/data/797185255#Topic/automatisches_beweisverfahren
http://experiment.worldcat.org/entity/work/data/797185255#Topic/ordinateurs_fiabilite
http://experiment.worldcat.org/entity/work/data/797185255#Topic/systemes_informatiques_fiabilite
http://experiment.worldcat.org/entity/work/data/797185255#Topic/risque
http://id.worldcat.org/fast/872656
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computer_soziale_auswirkungen
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computadoras_y_civilizacion
http://experiment.worldcat.org/entity/work/data/797185255#Topic/theorie_demonstration
http://experiment.worldcat.org/entity/work/data/797185255#Topic/computerunterstutzter_beweis
http://experiment.worldcat.org/entity/work/data/797185255#Topic/verificatie
http://id.worldcat.org/fast/872888
http://experiment.worldcat.org/entity/work/data/797185255#Topic/elaboratori_elettronici_valutazione

http://schema.org/author

http://worldcat.org/entity/person/id/2638723689

http://schema.org/creator

http://worldcat.org/entity/person/id/2702799907
http://worldcat.org/entity/person/id/2638723689

http://schema.org/description

"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."

http://schema.org/name

"Mechanizing proof : computing, risk, and trust"
"Mechanizing proof : computing, risk and trust"
"Mechanizing proof computing, risk, and trust"@en
"Mechanizing proof computing, risk, and trust"

http://schema.org/workExample

http://www.worldcat.org/oclc/801151578
http://www.worldcat.org/oclc/56454355
http://www.worldcat.org/oclc/475743414
http://www.worldcat.org/oclc/45835532
http://www.worldcat.org/oclc/288982676
http://www.worldcat.org/oclc/760529749
http://www.worldcat.org/oclc/72870662
http://www.worldcat.org/oclc/806427580
http://www.worldcat.org/oclc/836527510
http://www.worldcat.org/oclc/248631633
http://www.worldcat.org/oclc/468620398
http://www.worldcat.org/oclc/901430758
http://www.worldcat.org/oclc/51959172

Automatische bewijsvoering.

This is a placeholder reference for a Topic entity, related to a WorldCat Entity. Over time, these references will be replaced with persistent URIs to VIAF, FAST, WorldCat, and other Linked Data resources.

rdf:type
http://schema.org/Topic
schema:name
"Automatische bewijsvoering."