Mechanizing proof computing, risk, and trust

Detalhes bibliográficos
Autor principal: MacKenzie, Donald A.
Formato: Livro
Idioma:English
Publicado em: Cambridge, Mass. MIT Press c2001.
Colecção:Inside technology
Assuntos:
Acesso em linha:Table of contents