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
Computer Aided Verification
Best Price (Coupon Required):
Buy Computer Aided Verification for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
Reviews
Questions & Answers
Plant Transposable Elements
$109.99
Interactive Storytelling
$49.99
Emergent Computing Methods in Engineering Design
$219.99
Marktwirtschaftliche Instrumente in der Umweltpolitik
$44.99
Alvin Plantinga
$169.99
Earthquake Hazard and Seismic Risk Reduction
$169.99
Child Abuse
$199.99
Thermomechanics of Composites under High Temperatures
$169.99
Digital Entrepreneurship
$169.99
Designing Reliable and Efficient Networks on Chips
$169.99
Bosch Automotive Electrics and Automotive Electronics
$129.99
Inequality, Economic Growth, and Technological Change
$54.99
Malaria
$169.99
Nanostructured Materials for Environmental Applications
$159.99
Markterfolg im Mobile Commerce
$79.99
Social Movements in Latin America
$54.99
Schule und Absentismus
$39.99
Wirkungen der Psychotherapie
$59.99
Banking in Turmoil
$54.99
Gesammelte Mathematische Abhandlungen
$59.99
Die politische konomie der berflssigen
$49.99
Between Rationalism and Empiricism
$109.99
Advances in Knowledge Discovery in Databases
$109.99
Privileg Pauschalbesteuerung in der Schweiz
$49.99
Modeling Performance Measurement
$54.99
Behavioral Neurobiology of the Endocannabinoid System
$169.00
Trends im Umweltbewusstsein
$69.99
Halbleiterprobleme 4
$54.99
You Don't Know What War Is: The Diary of a Young Girl from Ukraine by Yeva Skalietska
$19.99
Methodology, Models and Algorithms in Thermographic Diagnostics
$109.99
External Sulphate Attack Field Aspects and Lab Tests
$129.00
DGOR/NSOR
$59.99
Ambient Intelligence - Software and Applications
$129.00
(Re)theorising More-than-parental Involvement in Early Childhood Education and Care
$59.99
Islam in the Eastern African Novel
$109.99
Atomic Structure Theory
$49.99
Kindliche Sprachentwicklung
$64.99
Decision Economics: Minds, Machines, and their Society
$169.00
Implementation of Finite Element Methods for Navier-Stokes Equations
$54.99
Mathematical Problems in Theoretical Physics
$39.99
