Mechanizing proof : computing, risk, and trust
Donald MacKenzie
Bok Engelsk 2001 · Electronic books
| Utgitt | Cambridge, Mass. : MIT Press , c2001
|
|---|---|
| Omfang | XI, 427 s. : ill.
|
| Emner | Computer systems - Reliability.
Computers and civilization. Ordinateurs et civilisation. Systèmes informatiques - Fiabilité. Vis mer... Computer Science
Datamaskiner og samfunn Datamaskiner - Pålitelighet Engineering & Applied Sciences datamaskiner pålitelighet risiko datasystemer samfunnsmessige perspektiver |
| Sjanger | |
| Dewey | |
| ISBN | 0262133938
|
