43200313
9783662491218
Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
by Jobstmann, Barbara, Leino, K. Rustan M.
31245
List Price
Discount
52% Off
You Save
$55.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: 9783662491218
- ISBN: 3662491214
- Publication Date: 2016
- Publisher: Springer
AUTHOR
SUMMARY
Jobstmann, Barbara is the author of 'Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings', published 2016 under ISBN 9783662491218 and ISBN 3662491214.
[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.
