8569042
9783642113185
Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)
by Barthe, Gilles, Hermenegildo, Manuel
31245
List Price
Discount
45% Off
You Save
$43.69
About this item
- Condition: New
- Provider: LightningBooks
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9783642113185
- ISBN: 3642113184
- Edition: 1st Editio
- Publication Date: 2010
- Publisher: Springer
AUTHOR
SUMMARY
Barthe, Gilles is the author of 'Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture ... Computer Science and General Issues)', published 2010 under ISBN 9783642113185 and ISBN 3642113184.
[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.
