Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319431437 - 7 de agosto de 2016
En caso de que portada y título no coincidan, el título será el correcto

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Precio
Mex$ 961
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 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

This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.

519 pages, 88 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 7 de agosto de 2016
ISBN13 9783319431437
Editores Springer International Publishing AG
Páginas 502
Dimensiones 155 × 235 × 27 mm   ·   7,78 kg
Lengua Alemán  
Editor Blanchette, Jasmin Christian
Editor Merz, Stephan

Mere med samme udgiver