Automated Technology For Verification And Analysis 9th International Symposium Atva 2011 Taipei Taiwan October 2011 Proceedings Lncs 6996(2011th Edition)
Authors:
Tevfik Bultan ,Pao Ann Hsiung
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3642243711, 978-3642243714
Book publisher: Springer
Frequently Bought Together
Agile Marketing Unlock Adaptive And Data Driven Marketing For Long Term Success - 1st Edition
Neil Perkin
ISBN: 1398605107, 978-1398605107
$0 $68.15
Quantitative Chemical Analysis - 8th edition
Daniel C. Harris
ISBN: 1429218150, 978-1429218153
$0 $51.20
An Introduction to Geotechnical Engineering - 2nd edition
Robert D. Holtz
ISBN: 132496348, 978-0132496346
$0 $84.97
Advertising And Promotion An Integrated Marketing Communications Perspective - 6th Edition
Michael A. Guolla
ISBN: 1259272301, 9781259272301
$0 $180.00
Grid Computing Towards A Global Interconnected Infrastructure - 2011th Edition
Nikolaos P Preve
ISBN: 1447126696, 978-1447126690
$0 $148.75
Fundamentals Of Resource Allocation In Wireless Networks Theory And Algorithms - 2nd Expanded Edition
Slawomir Stanczak
ISBN: 364224260X, 978-3642242601
$0 $88.01