21652148
9783642198342
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)
by Abdulla, Parosh Aziz, Leino, K. Rustan M.
31245
List Price
Discount
45% Off
You Save
$43.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: 9783642198342
- ISBN: 3642198341
- Edition: 1st Editio
- Publication Date: 2011
- Publisher: Springer
AUTHOR
SUMMARY
Abdulla, Parosh Aziz is the author of 'Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European ... Computer Science and General Issues)', published 2011 under ISBN 9783642198342 and ISBN 3642198341.
[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.
