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
Include with your book
Free shipping: April 23, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3030175014, 978-3030175016
Book publisher: Springer
Frequently Bought Together
Digital Design and Computer Architecture - 2nd edition
David Harris
ISBN: 9789382291527, 978-0123944245
$0 $89.95
A Manual Of Toxicology A Concise Presentation Of The Principal Facts Relating To Poisons With Detailed Directions For The Treatment Of Poisoning Doses Of The Principal And Many New Remedies - 1st Edition
Albert Harrison Brundage
ISBN: B009NCF9K2
$0 $5.07
Microeconomics - 3rd edition
Paul Krugman
ISBN: 978-1429283427, 1429283424, 978-1464104213, 1464104212, 978-1429283434
$0 $209.99
The John D Rockefeller Way Timeless Principles For Business Success - 1st Edition
Harold Bock
ISBN: B0CY8XN821, 979-8884978157
$0 $9.99
Exploration Of Novel Intelligent Optimization Algorithms 12th International Symposium Isica 2021 - 1st Edition
Kangshun Li
ISBN: 9811941084, 978-9811941085
$0 $25.49
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