Verification Model Checking And Abstract Interpretation 17th International Conference Vmcai 20 St Petersburg Fl Usa January 17 19 20(1st Edition)
Authors:
Barbara Jobstmann ,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: 3662491214, 978-3662491218
Book publisher: Springer
Frequently Bought Together
Information Systems For Managers - 3rd Edition
Gabriele Piccoli
ISBN: 1943153078, 9781943153077
$0 $67.30
It Auditing Using Controls To Protect Information Assets - 1st Edition
Chris Davis
ISBN: 0072263431, 978-0072263435
$0 $6.02
Essentials Of Federal Taxation 2018 - 9th Edition
Brian Spilker
ISBN: 1260007642, 978-1260150292, 1260150291, 978-1260007640
$0 $17.09
Crafting And Executing Strategy Concepts And Readings - 20th Edition
Arthur Thompson
ISBN: 1259297071, 9781259297076
$0 $204.52
To The Moon The Attack Of Smartphone Gamblers And The Rise Of Meme Stocks #gme #amc#wsb How Wallstreetbets Has Turned The Fundamental Laws Of The Market Upside Down - 1st Edition
Dr. Christian Glaser
ISBN: 979-8516775895
$0 $23.99
Payments Systems In The U S - 2nd Edition
Carol Coye Benson
ISBN: 0982789726, 978-0982789728
$0 $30.95