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
Book details
ISBN: 3642198341, 978-3642198342
Book publisher: Springer
Frequently Bought Together
The Psychology Of Prejudice And Discrimination - 2nd Edition
Bernard E. Whitley
ISBN: 0495599646, 978-0495599647
$0 $16.00
Selecting And Managing Advertising Agencies Creative Media And Full-Service Agency Partnerships - 1st Edition
Carylon Melancon
ISBN: B0D76M9R9P, 979-8328392402
$0 $14.20
Physical Principles Of Remote Sensing - 3rd Edition
W. G. Rees
ISBN: 521181167, 052118116X, 978-0521181167
$0 $0.00
Effective Communication In The Business World - 1st Edition
Davina Clarke
ISBN: 1792464681, 978-1792464683
$0 $15.25
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