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 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 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
Master nach Plan
$17.99
Southeast Asian Muslims in the Era of Globalization
$109.99
Teacher Beliefs as a Complex System: English Language Teachers in China
$54.99
Out-of-Field Teaching and Education Policy
$109.99
Agenda-Setting zwischen Parlament und Medien
$54.99
Kreiselpumpen
$59.99
Gene Transfer and Expression Protocols
$129.00
Geothermal Fluids
$89.00
Fourteenth International Seaweed Symposium
$329.99
The European Public Sphere and the Media
$54.99
Human Duties and the Limits of Human Rights Discourse
$109.99
Secure IT Systems
$54.99
Ready-To-Go 2 25 Book Classroom Library: Favorites, Grade 2
$125.00
Betriebliche Telefon- und ISDN-Anlagen rechtsgem gestaltet
$69.95
Design, User Experience, and Usability
$79.99
Italian Banking and Financial Law: Regulating Activities
$139.99
The Evolution of Modern Economic Theory
$39.99
The Craniovertebral Region in Chronic Inflammatory Rheumatic Diseases
$84.99
Husserlian Intentionality and Non-Foundational Realism
$249.99
Time, Causality, and the Quantum Theory
$169.99
Mathematical Methods for Cancer Evolution
$99.99
Reforming State-Owned Enterprises in Asia
$129.99
Climate Change and Sovereignty
$159.99
Vereinbarungen zwischen Staat und auslndischem Investor / Agreements Between States and Foreign Inv
$69.95
Crisis Management in Chinese Organizations
$54.99
Suizidgefhrdung und Suizidprvention bei lteren Menschen
$64.99
Advances in Materials Processing
$169.99
Elemente der Vierten Hauptgruppe II
$59.99
Metal Nanoparticles in Pharma
$129.00
An Insight into Mergers and Acquisitions
$129.99
TRIZ-Anwendertag 2020
$129.99
Vertragsanbahnungs- und Vertragsabrechnungsmodelle im Kfz-Leasing
$119.99
Thermal Processing of Packaged Foods
$169.99
Ein Fall von Einem Carcinom in Einem Hydronephrotischen Sack bei Gleichzeitiger Papillomatosis des Z
$54.99
The Scarlet Letter (Signature Classics) by Nathaniel Hawthorne
$18.00
Cortical Development
$109.99
Journalism and the Future of Democracy
$59.99
Computational Methods for Estimating the Kinetic Parameters of Biological Systems
$249.99
Digitales Dialogmarketing
$79.99
Architecture-Based Design of Multi-Agent Systems
$119.99
