Tools And Algorithms For The Construction And Analysis Of Systems 17th International Conference Tacas 2011 Held As Part Of The Joint European Conferences On Theory And Practice Of Software Etaps 2011 Saarbrucken Germany March/April 2011 Proceedings Lncs 6605(1st Edition)
Authors:
Parosh Aziz Abdulla ,K Rustan M Leino
In Stock
Include with your book
Free shipping: May 02, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3642198368, 978-3642198366
Book publisher: Springer
Frequently Bought Together
The Biomedical Engineering Revolution How New Technologies Are Transforming Healthcare - 1st Edition
Rahul Solleti
ISBN: 979-8861029926
$0 $14.49
Quantum Gravity In A Nutshell2 Beyond Hawking The Cosmic Quest For A Quantum Theory Of Gravity - 1st Edition
Balungi Francis
ISBN: 1982924810, 978-1982924812
$0 $12.28
Operations Management Sustainability And Supply Chain Management - 13th Edition
Jay Heizer
ISBN: 0135173620, 978-0135173626
$0 $279.99
An Introduction To Thermal Physics - 1st Edition
Daniel V. Schroeder
ISBN: 0192895559, 978-0192895554
$0 $46.99
Principles And Practice Of Marketing - 9th Edition
David Jobber
ISBN: 152684723X, 9781526847232
$0 $39.99
Ai Millionaire A Security Guard S Journey To Wealth - 1st Edition
Vasyl Strilchuk
ISBN: 979-8862476200
$0 $15.00