Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science - Mauricio Ayala-Rincon - Libros - Springer International Publishing AG - 9783319516516 - 13 de febrero de 2017
En caso de que portada y título no coincidan, el título será el correcto

Mauricio Ayala-Rincon
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs - Undergraduate Topics in Computer Science 1st ed. 2017 edition

Precio
Mex$ 858
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 9 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

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

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de febrero de 2017
ISBN13 9783319516516
Editores Springer International Publishing AG
Páginas 150
Dimensiones 155 × 235 × 9 mm   ·   244 g
Lengua Alemán  

Mere med samme udgiver

Ver todo de Mauricio Ayala-Rincon ( Ej. Paperback Book )