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
Chondral Disease of the Knee
$84.99
Cerebral Palsy
$109.99
Gewalt und Konflikt in einer globalisierten Welt
$69.99
Progress in High-Dimensional Percolation and Random Graphs
$69.99
Sustaining Young Forest Communities
$129.00
Person and Self-Value
$169.99
Deformations of Mathematical Structures II
$84.99
Air Pollution Modeling and its Application XXII
$169.00
Holzsysteme fr den Hochbau
$49.99
Physical Measurement and Analysis of Thin Films
$54.99
The Belt and Road Initiative
$199.99
Global Security, Safety, and Sustainability
$39.99
Riegel's Handbook of Industrial Chemistry
$74.99
Praktisches Kaufmanns-Wissen
$59.99
A Critique of Pure Education
$109.99
System Modelling and Optimization
$39.99
Handelsrecht mit Wechsel- und Scheckrecht
$59.99
Social Market Economy
$109.99
Smart Cities, Green Technologies, and Intelligent Transport Systems
$39.99
Mostly in the Line of Duty
$54.99
Variational Calculus with Elementary Convexity
$39.99
I Love You Through and Through
$6.74
Fr eine Grammatik mit Augen und Ohren, Hnden und Fen am Beispiel der Prpositionen
$39.99
The Phylogeny of Human Chromosomes
$54.99
Developments in Theoretical and Applied Mechanics
$109.99
Lehrbuch Grundlagen der Informatik
$84.99
Automata, Languages and Programming
$84.99
Towards Cleaner Entrepreneurship
$129.00
Proceedings of the 10th International Conference on Industrial Engineering
$299.99
Kernkompetenzen in der Integrativen Gestalttherapie
$54.99
The World of Visual Time Signals for Mariners
$199.99
Annual Update in Intensive Care and Emergency Medicine 2015
$84.99
Princeton Review Act Prep, 2023- 6 Practice Tests, Content Review and Strategies by the Princeton Review
$23.99
Graham Wallas and the Great Society
$39.99
Soldiers, Citizens and Civilians
$79.99
Recent Advances in Operator Theory
$39.99
State of the Art in Deep Geothermal Energy in Europe
$54.99
Introduction to Unity ML-Agents
$37.99
EXA 2011
$129.00
Culture of Chemistry
$54.99
