Automated Technology For Verification And Analysis 8th International Symposium Atva 2010 Singapore September 2010 Proceedings Lncs 6252(2010th Edition)
Authors:
Ahmed Bouajjani ,Wei Ngan Chin
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3642156428, 978-3642156427
Book publisher: Springer
Frequently Bought Together
Strategic Workforce Planning Guidance And Back Up Plans - 1st Edition
Tracey Smith
ISBN: 1478317175, 978-1478317173
$0 $24.95
The Uncommon Life Of Danny Oconnell A Tale Of Baseball Cards Average Players And The True Value Of Americas Game - 1st Edition
Steve Wiegand
ISBN: 161088633X, 978-1610886338
$0 $33.00
Becoming A Data Head How To Think, Speak, And Understand Data Science, Statistics, And Machine Learning - 1st Edition
Alex J Gutman
ISBN: 1119741718, 9781119741718
$0 $140.00
Managerial Accounting for Managers - 4th edition
Eric Noreen
ISBN: 1259578542, 978-1259578540
$0 $14.92
Fundamentals Of Organic Chemistry - 2nd Edition
T W G Solomons
ISBN: 0471517828, 978-0471517825
$0 $18.98
Coaching Essentials Practical Proven Techniques For World Class Executive Coaching - 2nd Edition
Patricia Bossons
ISBN: 1408157209, 978-1408157206
$0 $25.95
Get A G R I P Andrews Ax Guide To Global Readiness - 1st Edition
Andrew W Silberman
ISBN: 4990617223, 978-4990617226
$0 $23.09