Details
- Autor(en) / Beteiligte
- Titel
- Mechanizing proof : computing, risk, and trust
- Ist Teil von
- Inside technology
- Ort / Verlag
- Cambridge, Mass. [u.a.] : MIT Press
- Erscheinungsjahr
- 2001
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- Hier auch später erschienene, unveränderte Nachdrucke
- Sprache
- Englisch
- Identifikatoren
- ISBN: 9780262133937, 0262133938, 9780262632959OCLC-Nummer: 248631633, 248631633Titel-ID: 990013721360106463
- Format
- XI, 427 S. : Ill., graph. Darst.
- Systemstelle
- TUD, TVU, TWG
- Schlagworte
- Informatik, Historische Soziologie, Computer systems, Computers and civilization