Mais conteúdo relacionado
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
- 1. Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
DONWLOAD LAST PAGE !!!!
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)
- 2. DETAIL
Author : Donald Mackenzieq
Pages : 434 pagesq
Publisher : MIT Press 2001-11-02q
Language : Englishq
ISBN-10 : 0262133938q
ISBN-13 : 9780262133937q
Description
none
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology)