Go back
Verification Model Checking And Abstract Interpretation 13th International Conference Vmcai 2012 Philadelphia Pa Usa January 22 24 2012 Proceedings(2012 Edition)
Authors:
Viktor Kuncak ,Andrey Rybalchenko
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 10 Million+ solutions
Free ✝
Ask 10 Questions from expert
200,000+ Expert answers
✝ 7 days-trial
Total Price:
$0
List Price: $60.13
Savings: $60.13(100%)
Book details
ISBN: 3642279392, 978-3642279393
Book publisher: Springer
Frequently Bought Together
Communication And Collaboration In The Online Classroom Examples And Applications - 1st Edition
Patricia Comeaux
ISBN: 1882982509, 978-1882982509
$0 $47.26
Basic Mathematical Foundations Of AI Hands On With Python - 1st Edition
Jamie Flux
ISBN: B0DBR8W4CX, 979-8334623576
$0 $49.99
Accounting Tools for Business Decision Making - 6th edition
Paul D. Kimmel
ISBN: 1118096894, 978-1-11921511, 978-1118096895
$0 $382.20
Comforted From Heaven My Travel To The Gates Of Heaven And Back - 1st Edition
C. Deanne Rowe
ISBN: 1946122173, 978-1946122179
$0 $67.00