7316471
9783642026577
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
by Bouajjani, Ahmed, Maler, Oded
31245
List Price
Discount
13% Off
You Save
$15.83
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: 9783642026577
- ISBN: 3642026575
- Edition: 1
- Publication Date: 2009
- Publisher: Springer
AUTHOR
SUMMARY
Bouajjani, Ahmed is the author of 'Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)', published 2009 under ISBN 9783642026577 and ISBN 3642026575.
[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.
