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
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3642198341, 978-3642198342
Book publisher: Springer
Frequently Bought Together
Data Analytics For Accounting - 3rd Edition
Vernon Richardson
ISBN: 1264444907, 9781264444908
$0 $60.00
Problems And Solutions In Mathematical Olympiad - 1st Edition
Bin Xiong
ISBN: 9811231427, 978-9811231421
$0 $39.42
Statistics For Business And Economics - 12th Edition
James T. McClave
ISBN: 032182623X, 978-0134189888, 134189884, 978-0321826237
$0 $14.79
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Organic Chemistry Short Course - 10th Edition
David J Hart
ISBN: 0395923441, 978-0395923443
$0 $4.66
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