42050263
9783662466803
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
by Baier, Christel, Tinelli, Cesare
31245
List Price
Discount
56% Off
You Save
$67.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: 9783662466803
- ISBN: 3662466805
- Publication Date: 2015
- Publisher: Springer
AUTHOR
SUMMARY
Baier, Christel is the author of 'Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings', published 2015 under ISBN 9783662466803 and ISBN 3662466805.
[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.
