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:
Buy Verification, Model Checking, and Abstract Interpretation for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Life Cycle Assessment in Industry and Business
$109.99
Global Perspectives on Workers' and Labour Organizations
$129.99
Modernisierung und Folgelasten
$39.99
Kohrenz im Unterricht der Elementarteilchenphysik
$59.99
Projektierung von Turboflugtriebwerken
$119.99
Bund und Gemeinden / Federal and Local Government
$69.95
Systemgestaltung im Broadcast Engineering
$69.99
Media in Education
$84.99
Double-pass Optical Quality Analysis for the Clinical Practice of Cataract
$119.99
Verification and Evaluation of Computer and Communication Systems
$54.99
Trends in Gastroenterology and Hepatology
$84.99
Denkschrift zur bergabe der Wiederhergestellten Strassenbrcke ber den Rhein bei Wesel an den Verk
$49.99
Chemical Optimization Algorithm for Fuzzy Controller Design
$39.99
SMART Supply Network
$109.99
Hochschulpolitische Reformen im Zuge des Bologna-Prozesses
$39.99
Dynamiken lokaler Flchtlingshilfe
$74.99
Multiphase Flow Dynamics
$199.99
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
$54.99
Deviation und Kompensation
$59.99
Fuzzy Logic and Applications
$54.99
Food Materials Science
$219.99
Die Basis der Vielfalt
$49.99
Sino-Soviet Dialogue on the Problem of War
$54.99
Mengenlehre fr den Mathematiker
$49.99
Theory and Technology of Laser Imaging Based Target Detection
$149.00
Handwrterbuch des konomischen Systems der Bundesrepublik Deutschland
$59.99
Empirische Bildungsforschung
$19.99
Transparency in Social Media
$109.99
Precision Medicine in Clinical Practice
$109.99
Principles and Practice of Constraint Programming - CP97
$84.99
The Entolomataceae of Tasmania
$169.99
Drug Therapy for the Elderly
$119.99
Selected Papers from the 12th International Networking Conference
$169.00
Resolution of Singularities
$119.99
Digital Activism in the Social Media Era
$129.99
Plasmaphysik und Fusionsforschung
$69.99
Staat und Arbeitsbeziehungen
$69.99
TBM Design and Construction
$139.00
Wahrnehmung und Prvention des misshandlungsbedingten Kopftraumas
$64.99
Proceedings of the 2nd International Conference on Geotechnical Issues in Energy, Infrastructure and
$299.00
