Mechanizing proof computing, risk, and trust
| Autor principal: | |
|---|---|
| Formato: | Livro |
| Idioma: | English |
| Publicado em: |
Cambridge, Mass.
MIT Press
c2001.
|
| Colecção: | Inside technology
|
| Assuntos: | |
| Acesso em linha: | Table of contents |