Conte aos seus amigos sobre este item:
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science 1st ed. 2017 edition
Mauricio Ayala-Rincon
Preço
R$ 278,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 1 - 7 de out
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science 1st ed. 2017 edition
Mauricio Ayala-Rincon
A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.
150 pages, 4 black & white illustrations, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 13 de fevereiro de 2017 |
| ISBN13 | 9783319516516 |
| Editoras | Springer International Publishing AG |
| Páginas | 150 |
| Dimensões | 155 × 235 × 9 mm · 244 g |
| Idioma | German |
Ver tudo de Mauricio Ayala-Rincon ( por exemplo Paperback Book )