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
Peace-Building and Development in Guatemala and Northern Ireland
$39.99
Forging Chivalric Communities in Malorys Le Morte Darthur
$109.99
Modelling Community Structure in Freshwater Ecosystems
$169.00
A Legacy for Living Systems
$299.99
Oracle SQL Revealed
$19.99
Let's Play!: Let's Eat! / Vamos a comer!
$5.21
Industrial Relations in Developing Countries
$54.99
Semigroups of Operators -Theory and Applications
$109.99
The Phylogeny of Human Chromosomes
$54.99
Jahrbuch Entrepreneurship 2005/06
$99.99
Entertainment Computing -- ICEC 2013
$54.99
Cooperative Cognitive Radio Networking
$54.99
Beziehungsqualitt und kindliche Kooperations- und Bildungsbereitschaft
$59.99
Brseneinfhrungen von Tochtergesellschaften
$59.99
Computer Vision/Computer Graphics Collaboration Techniques
$54.99
Equidosimetry
$84.99
Beam Effects, Surface Topography, and Depth Profiling in Surface Analysis
$129.00
Dynamical Systems, Control, Coding, Computer Vision
$39.99
There Was an Old Lady: There Was An Old Scientist Who Swallowed a Dinosaur! (Hardcover)
$6.74
Biaxial Fatigue of Metals
$59.99
Bioactive Organo-Silicon Compounds
$84.99
Bernstein Operators and Their Properties
$89.00
Technische Statistik in der Qualittssicherung
$169.99
Next Generation Sensors and Systems
$109.99
Achieving Democracy Through Interest Representation
$64.99
Komplexitt von IT-Architekturen
$49.99
Integriertes Steuer- und Sozialsystem
$69.99
Problems in Stellar Atmospheres and Envelopes
$84.99
Growing Vegetable Soup
$25.95
Arts Education and Cultural Diversity
$169.99
Mitarbeiterbeteiligung in deutschen Unternehmen
$74.99
European Civil Security Governance
$54.99
Molecular and Translational Vascular Medicine
$169.00
Hepato-Pancreato-Biliary Malignancies
$329.99
Gender, Embodiment, and the History of the Scholarly Persona
$159.99
Synthesis and Release of Adenohypophyseal Hormones
$54.99
Intelligent Information Processing III
$169.99
School Boards in America
$39.99
New Media and the New Middle East
$54.99
Betriebliche Informationssammlungen
$69.99
