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
|