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
Accounting And Auditing Research Tools And Strategies - 10th Edition
Thomas R. Weirich
ISBN: 1119698138, 9781119698135
$0 $121.72
Data Communications and Networking - 5th edition
Behrouz A. Forouzan
ISBN: 73376221, 978-0073376226
$0 $37.97
Principles of Auditing and Other Assurance Services - 19th edition
Ray Whittington
ISBN: 978-0077804770, 78025613, 77804775, 978-0078025617
$0 $19.05
General Organic And Biochemistry - Signed Edition
Katherine J Denniston
ISBN: 0072317868, 978-0072317862
$0 $9.35
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