Compartir
Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)
Ayala-Rincón, Mauricio ; Muñoz, César A. (Autor)
·
Springer
· Tapa Blanda
Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés) - Ayala-Rincón, Mauricio ; Muñoz, César a.
S/ 268,19
S/ 536,38
Ahorras: S/ 268,19
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 05 de Agosto y el
Lunes 19 de Agosto.
Lo recibirás en cualquier lugar de Perú entre 2 y 5 días hábiles luego del envío.
Reseña del libro "Interactive Theorem Proving: 8th International Conference, Itp 2017, Brasília, Brazil, September 26-29, 2017, Proceedings (en Inglés)"
This book constitutes the refereed proceedings of the 8th International Conference on Interactive Theorem Proving, ITP 2017, held in Brasilia, Brazil, in September 2017. The 28 full papers, 2 rough diamond papers, and 3 invited talk papers presented were carefully reviewed and selected from 65 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.