Go back
Tools And Algorithms For The Construction And Analysis Of Systems 17th International Conference Tacas 2011 Held As Part Of The Joint European(2011 Edition)
Authors:
Parosh Aziz Abdulla ,K. Rustan M. Leino
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $63.67
Savings: $63.67(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Tools And Algorithms For The Construction And Analysis Of Systems 17th International Conference Tacas 2011 Held As Part Of The Joint European
Price:
$9.99
/month
Book details
ISBN: 3642198341, 978-3642198342
Book publisher: Springer
Frequently Bought Together
Principles Of Electronic Communication Systems - 5th Edition
Louis E. Frenzel
ISBN: 126059789X, 978-1260597899
$0 $79.10
Algebra Success In 20 Minutes A Day - 3rd Edition
Learningexpress Editors
ISBN: B008SLI9HO
$0 $20.53
Crafting And Executing Strategy Concepts And Readings - 20th Edition
Arthur Thompson
ISBN: 1259297071, 9781259297076
$0 $204.52
Resource Management For Internet Of Things - 1st Edition
Flavia C. Delicato
ISBN: 331954246X, 978-3319542461
$0 $59.99
Novel Algorithms For Fast Statistical Analysis Of Scaled Circuits - 2009 Edition
Amith Singhee
ISBN: 9400736878, 978-9400736870
$0 $99.41