Mechanizing proof computing, risk, and trust

Mechanizing proof computing, risk, and trust

ग्रंथसूची विवरण
मुख्य लेखक: MacKenzie, Donald A.
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Cambridge, Mass. MIT Press c2001.
श्रृंखला:Inside technology
विषय:
Computer systems > Reliability.
Computers and civilization.
ऑनलाइन पहुंच:Table of contents