Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Lecture Notes in Computer Science - Marko Van Eekelen - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642228629 - 2 de agosto de 2011
En caso de que portada y título no coincidan, el título será el correcto

Marko Van Eekelen
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings - Lecture Notes in Computer Science

Precio
$ 64,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de jul. - 3 de ago.

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 Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011.

383 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de agosto de 2011
ISBN13 9783642228629
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 383
Dimensiones 155 × 235 × 23 mm   ·   612 g
Lengua Francés  
Editor Geuvers, Herman
Editor Schmaltz, Julien
Editor Van Eekelen, Marko
Editor Wiedijk, Freek

Mere med samme udgiver

Ver todo de Marko Van Eekelen ( Ej. Paperback Book )