Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Theoretical Computer Science and General Issues - Lennart Beringer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642323461 - July 6, 2012
In case cover and title do not match, the title is correct

Lennart Beringer
Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings - Theoretical Computer Science and General Issues 2012 edition

Price
$ 65.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 20 - 30
Get notified about new Lennart Beringer releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

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.

432 pages, 37 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 6, 2012
ISBN13 9783642323461
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 419
Dimensions 155 × 235 × 22 mm   ·   603 g
Language French  
Editor Beringer, Lennart
Editor Felty, Amy

More from the same publisher

See all of Lennart Beringer ( e.g. Paperback Book )