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
Facet Theory and the Mapping Sentence
$49.99
RISE and RISE Up (Levels C-Z): Reading Inspires Students to Excel
$6,825.00
Religion als Ressource und Restriktion im Integrationsprozess
$64.99
Verflssigung der Kohle und Herstellung der Sonnentemperatur
$59.99
Bioinformatics: Sequences, Structures, Phylogeny
$199.99
Mnsteraner Sachverstndigengesprche
$89.99
Mutual Accompaniment as Faith-Filled Living
$139.99
Glutamate and Neuropsychiatric Disorders
$189.00
The Geometry of an Art
$299.00
Fake Physics: Spoofs, Hoaxes and Fictitious Science
$24.99
Medizinethische berlegungen zur prdiktiven und prnatalen genetischen Diagnostik und Beratung
$64.99
Dissonant Heritages and Memories in Contemporary Europe
$31.00
Entropie des Wasserdampfes in elementarer Ableitung
$59.99
Technology: Toward Business Sustainability
$199.99
Hematopathology
$139.99
Migrant Integration between Homeland and Host Society Volume 2
$109.99
Was Ludwig von Mises a Conventionalist?
$49.99
Hallmark Channel Countdown to Christmas: Celebrate the Movie Magic (Revised Edition) by Caroline Mckenzie
$30.00
Front-End Vision and Multi-Scale Image Analysis
$169.99
Glandular Lesions of the Uterine Cervix
$84.99
Analytical Calorimetry
$39.99
Novel Natural Products: Therapeutic Effects in Pain, Arthritis and Gastro-intestinal Diseases
$109.99
Queer BDSM Intimacies
$129.00
Oxygen Sensing in Tissues
$39.99
Leitfaden Safety of the Intended Functionality
$17.99
Managing the Ocean Resources of the United States
$109.99
Artificial Intelligence and Soft Computing
$109.99
Metal Clusters and Their Reactivity
$179.99
Optimization on Low Rank Nonconvex Structures
$169.00
Little Bitty Books: Baby Food
$3.71
Database and XML Technologies
$54.99
Motion Pictures and the Image of the City
$39.99
Epidermolysis Bullosa
$39.99
Pflanzenatmung
$59.99
Stochastic Modelling and Control
$39.99
Advances in VLSI, Communication, and Signal Processing
$169.00
Crohn's Disease and Ulcerative Colitis
$109.00
Strategische Gestaltung des Lebenszyklus von Mega-Events
$79.99
Why Mosquitoes Buzz In People's Ears (Hardcover)
$17.99
Interpolation Theory, Systems Theory and Related Topics
$109.99
