Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Verification, Model Checking, and Abstract Interpretation
Best Price (Coupon Required):
Buy Verification, Model Checking, and Abstract Interpretation for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019. The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Reviews
Questions & Answers
Frontiers in Hypertension Research
$54.99
Personalized Medicine in the Making
$109.99
Training the East German Labour Force
$54.99
Caring on the Frontline during COVID-19
$159.99
Gentechnische Methoden
$69.99
Fhrungsstil und Absatzerfolg in Kreditinstituten
$64.99
Handbook of Operations Research and Management Science in Higher Education
$179.99
Modelle der Materialistischen Dialektik
$69.99
Regulation and Finance in the Port Industry
$199.99
Recent Developments in Earthquake Seismology
$139.99
Hepatitis E Virus
$129.00
Vertical-Cavity Surface-Emitting Laser Devices
$219.99
Mit Funktionen Zusammenhnge und Vernderungen beschreiben
$29.99
Den demographischen Wandel im Unternehmen erfolgreich gestalten
$69.99
IRM Directory of Statistics of International Investment and Production
$169.99
Statistik fr Wirtschafts- und Sozialwissenschaftler II
$24.99
Approaches to Probabilistic Model Learning for Mobile Manipulation Robots
$109.99
The Gene Revolution and Global Food Security
$54.99
In Bauspielen Mathematik entdecken
$49.99
Handbuch der Rehabilitationspsychologie
$69.99
Mineral Resources of Mongolia
$169.99
Drinfeld Modules
$79.99
Processes in GeoMediaVolume V
$139.00
Leitfaden Arithmetik
$34.99
Ring Compounds in Organic Synthesis V
$84.99
Advances in Model and Data Engineering in the Digitalization Era
$79.99
Neuro-Control and its Applications
$84.99
Mehr als nur schn
$29.99
Vergleichende Anatomie der Wirbeltiere
$69.99
Rechtfertigung strategischer Managemententscheidungen
$69.99
Beitrag zur Bestimmung der spezifischen Oberflche von Glaspulvern und deren Beziehung zu den aus de
$59.99
Vision und Mission - Die Integration von Gender in den Mainstream europischer Forschung
$49.99
Visualization in Medicine and Life Sciences
$169.99
Georg Simmel und die Entstehung der Soziologie in Deutschland
$59.99
Schlafstrungen in der Praxis
$44.99
Rwanda's Genocide
$54.99
Komplikationen in der Ansthesie
$64.99
Human Work Interaction Design: Analysis and Interaction Design Methods for Pervasive and Smart Workp
$54.99
Vertikale Integration oder Kooperation?
$74.99
Islamic Wealth and the SDGs
$139.00
