Mechanizing proof computing, risk, and trust
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge, Mass.
MIT Press
c2001.
|
| Σειρά: | Inside technology
|
| Θέματα: | |
| Διαθέσιμο Online: | Table of contents |