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
Inventory Management
$199.99
Ferroelectric Materials and Ferroelectricity
$84.99
Recent Trends in Image Processing and Pattern Recognition
$109.99
Religion and Social Criticism
$139.99
Daily Word Ladders Content Areas Grades 2-3 (30-copy pack)
$359.82
Sexuality and the Gothic Magic Lantern
$39.99
Red Gas
$139.99
Software Engineering and Knowledge Engineering: Theory and Practice
$259.00
Physics in High Magnetic Fields
$84.99
Erfolgreich fhren im Ehrenamt
$44.99
Algebraic Methods in Nonlinear Perturbation Theory
$109.99
Minoritre Literatur
$74.99
Handbook of Smart Energy Systems
$1,399.99
Portfolio Selection and Asset Pricing
$54.99
Recycling Technologies for Secondary Zn-Pb Resources
$199.99
Congruences for L-Functions
$54.99
Klimawirksame Kennzahlen fr Ostasien und Ozeanien
$17.99
Der Experimentator: Molekularbiologie / Genomics
$29.99
Advances in Cryptology - ASIACRYPT '94
$74.99
Lebensfhrung in der Arbeitslosigkeit
$34.99
Parallel Architectures and Parallel Algorithms for Integrated Vision Systems
$84.99
Learning, Networks and Statistics
$54.99
Climate Change and Writing the Canadian Arctic
$54.99
White People and Black Lives Matter
$19.99
Computational Modelling of Robot Personhood and Relationality
$39.99
Rings and Geometry
$329.99
Assessing and Improving Prediction and Classification
$79.99
Ergebnisse der Chirurgie und Orthopdie
$44.99
Mechanics and Analysis of Beams, Columns and Cables
$54.99
Radar Interferometry
$189.00
Produktionsintegrierter Umweltschutz
$59.99
Slender PCI
$139.99
Biotechnology for Environmental Protection
$219.99
Lectures in Quantum Mechanics
$69.99
Kanalinspektion
$139.00
Elektrodynamisches Antriebssystem zur Unrundbearbeitung
$84.99
Critical Appraisal of Medical Literature
$169.99
Mathematical Models and Immune Cell Biology
$219.99
Behandlung von Strafttern
$84.99
Annals of Life Insurance Medicine
$39.99
