Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings - Lecture Notes in Computer Science 2017 edition

Name: Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings - Lecture Notes in Computer Science
Price: 961 MXN
Availability: OutOfStock

Precio

Mex$ 961

sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasilia, Brazil, September 26–29, 2017, Proceedings - Lecture Notes in Computer Science

2017 edition

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.

532 pages, 79 Illustrations, black and white; XIX, 532 p. 79 illus.

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	21 de agosto de 2017
ISBN13	9783319661063
Editores	Springer International Publishing AG
Páginas	532
Dimensiones	150 × 220 × 10 mm · 8,25 kg
Lengua	Alemán
Editor	Ayala-Rincon, Mauricio
Editor	Munoz, Cesar A.