Tools And Algorithms For The Construction And Analysis Of Systems 25 Years Of Tacas Toolympics Held As Part Of Etaps 2019 Lncs 11429(1st Edition)
Authors:
Dirk Beyer ,Marieke Huisman ,Fabrice Kordon ,Bernhard Steffen
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3030175014, 978-3030175016
Book publisher: Springer
Frequently Bought Together
Calculus Single And Multivariable - 8th Edition
Deborah Hughes Hallett
ISBN: 1119783267, 9781119783268
$0 $138.49
Quantum Thermodynamics An Introduction To The Thermodynamics Of Quantum Information - Concise Edition
Sebastian Deffner
ISBN: 164327659X, 978-1643276595
$0 $79.95
Taxation Of Individuals And Business Entities 2021 - 12th Edition
Brian Spilker
ISBN: 1260247139, 978-1260247138
$0 $100.40
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
Instrument Flying Handbook - Edition
Federal Aviation Administration
ISBN: 1560270861, 978-1560270867
$0 $6.88
Exploration Of Novel Intelligent Optimization Algorithms 12th International Symposium Isica 2021 - 1st Edition
Kangshun Li
ISBN: 9811941084, 978-9811941085
$0 $7.40
From Algorithm To Digital System HLS And RTL Tool Synthagate In Digital System Design - 1st Edition
Samary Baranov
ISBN: 1775091759, 978-1775091752
$0 $9.95