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 17th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2016, held in St. Petersburg, FL, USA, in January 2016. The 24 full papers together with 2 invited talks and 1 abstract presented were carefully reviewed and selected from 67 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
Reviews
Questions & Answers
Geochemical Approaches to Environmental Engineering of Metals
$109.99
Leichtmbel / Light furniture
$34.99
Active Ageing and Physical Activity
$59.99
Socio-Technical Innovation Bundles for Agri-Food Systems Transformation
$49.99
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
$109.99
Planetary and Interstellar Processes Relevant to the Origins of Life
$109.99
Multicasting on the Internet and its Applications
$129.00
Manual of Thoracic Endoaortic Surgery
$54.99
Green Low-Carbon Development in China
$109.99
Ophthalmic Medical Image Analysis
$99.99
The Concept of Matter
$119.00
Connectivity and Global Studies
$79.99
Applied Linear Algebra
$49.99
Maker Genius
$14.99
Healthcare Upside Down
$49.99
The Tryout
$9.74
Innovation in Diplomatic Practice
$179.99
Advances in Dynamic Games and Applications
$129.00
Intelligence Policy
$39.99
Advances and Challenges in Parametric and Semi-parametric Analysis for Correlated Data
$109.99
Moscow under Stalinist Rule, 1931-34
$74.99
Underwater Acoustics and Signal Processing
$329.99
Aktuelle Theoriediskurse Sozialer Arbeit
$29.99
Mobile Networks and Management
$79.99
Radical Solutions for Education in Africa
$109.99
Recent Advances in Computational Methods and Clinical Applications for Spine Imaging
$129.00
Interdisciplinary and Religio-Cultural Discourses on a Spirit-Filled World
$99.00
Topics on Combinatorial Semigroups
$129.99
Gene Therapy
$109.99
Graduate Study for the Twenty-First Century
$19.99
Selbstfhrung: Auf dem Pfad des Business-Huptlings
$84.99
Nanopackaging: From Nanomaterials to the Atomic Scale
$129.00
Built for Speed: A Branches Book (Layla and the Bots #2)
$4.49
The Genocide Convention Sixty Years after its Adoption
$109.99
World, Class, Britain
$84.99
Architecture and Design of Distributed Embedded Systems
$129.00
ffentlichkeit, ffentliche Meinung, soziale Bewegungen
$59.95
Kaiser Wilhelm I. und seine Zeit
$49.99
Strategic Management of Marine Ecosystems
$129.00
System der rechtsgeschftlichen Staatsakte
$59.99
