IMP -Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

(No reviews yet) Write a Review
Internacional
$85.99
SKU:
9783642396335
Autor:
Sandrine Blazy
Editorial:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Cover book

Product Overview

Importante: Este libro es importado y podría tener una demora de 30 días.

Titulo: Interactive Theorem Proving : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013, Proceedings

Formato: Paperback

Autor: Sandrine Blazy

Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Lenguaje: English

Páginas: 498

ISBN: 9783642396335

Reviews

(No reviews yet) Write a Review