Gerwin Klein
Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Theoretical Computer Science and General Issues Gerwin Klein 2014 edition

Name: Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Theoretical Computer Science and General Issues
Price: 55.99 USD
Availability: OutOfStock
Author: Gerwin Klein

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 30 de jun. - 13 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: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings - Theoretical Computer Science and General Issues

Gerwin Klein

2014 edition

This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014.

577 pages, 90 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	1 de agosto de 2014
ISBN13	9783319089690
Editores	Springer International Publishing AG
Páginas	555
Dimensiones	155 × 235 × 30 mm · 802 g
Lengua	Francés
Editor	Gamboa, Ruben
Editor	Klein, Gerwin