Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Lecture Notes in Computer Science)

by Lennart Beringer (Editor), Amy Felty (Editor)

New
Paperback
2012
$55.20

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012.

Synopsis

This book constitutes the thoroughly refereed proceedings of the Third International Conference on Interactive Theorem Proving, ITP 2012, held in Princeton, NJ, USA, in August 2012.

$55.20

Save:$17.55 (24%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 432
Edition: 2012
Publisher: Springer
Published: 06 Jul 2012
ISBN 10: 3642323464
ISBN 13: 9783642323461

Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings: 7406 (Lecture Notes in Computer Science)

New

$55.20

Synopsis

$55.20

More Information