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
Merlin and the Dragons
$5.96
Advances in Endophytic Research
$219.99
Projektierung und Bau von Tunneln
$149.99
Traumafolgestrungen
$69.99
Development Paths in Africa and China
$54.99
Strmungs- und Turbulenzenuntersuchungen am Modell eines Hubbalkenofens
$59.99
General Spatial Involute Gearing
$299.99
Sophie Germain
$99.99
Handchirurgie
$699.99
Basics of Continuum Plasticity
$119.99
Qualitt in der Mitarbeiterfhrung
$44.99
The New Europe: Evolving Economic and Financial Systems in East and West
$169.99
Intra-Operative Neuropathology for the Non-Neuropathologist
$109.00
Cumulative Sum Charts and Charting for Quality Improvement
$249.99
Recent Developments in Electrical and Electronics Engineering
$189.00
Contemporary Materialism: Its Ontology and Epistemology
$109.00
Fault-tolerant Control and Diagnosis for Integer and Fractional-order Systems
$109.99
Materialien zur Geschichte der Entomologie bis Linn
$59.99
Handbook of Quality Assurance for the Analytical Chemistry Laboratory
$84.99
Land Use Competition
$84.99
Chirurgisches Forum 93 fr experimentelle und klinische Forschung
$69.99
I Survived the Destruction of Pompeii, AD 79 (#10)
$4.49
Fluorescent Proteins I
$219.99
Elementarstrukturen unterrichtlicher Interaktion
$39.99
Fernsehwelten
$34.99
Finance and Strategy Inside China
$109.99
Engineering Mechanics of Fibre Reinforced Polymers and Composite Structures
$54.99
Dialectical Theory of Meaning
$259.00
Technical Landfills and Waste Management
$159.99
Characterization of Solid Polymers
$219.99
Energy Efficiency in Process Technology
$54.99
Cornerstones of Freedom-Third Series: The Trail of Tears
$6.71
Imaminnen und Doing Gender
$64.99
Ergebnisse der Inneren Medizin und Kinderheilkunde
$59.99
The Smallest Girl in the Smallest Grade
$5.21
Philosophical Foundations of Education
$54.99
Oye! S?
$5.21
Puppy Paints
$3.71
Bio-synthetic Polymer Conjugates
$169.00
Der Verkehrsflu auf Schnellstraen
$69.99
