21939838
9783642228629
Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)
by Van Eekelen, Marko, Geuvers, Herman, Schmaltz, Julien
31245
List Price
Discount
38% Off
You Save
$31.69
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783642228629
- ISBN: 3642228623
- Edition: 1st Editio
- Publication Date: 2011
- Publisher: Springer
AUTHOR
SUMMARY
Van Eekelen, Marko is the author of 'Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes ... Computer Science and General Issues)', published 2011 under ISBN 9783642228629 and ISBN 3642228623.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
