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
Alltagserkundungen
$59.99
The New Anti-Kant
$39.99
Micro-blogging Memories
$54.99
Crosslinkable Polyethylene Based Blends and Nanocomposites
$129.00
Luis Alvarez (Getting to Know the World's Greatest Inventors & Scientists)
$5.21
Dual-Mode Electro-photonic Silicon Biosensors
$109.99
Unternehmensgrndungen
$89.99
Learning Communities In Practice
$84.99
Calculus I
$54.99
Geometric Aspects of Functional Analysis
$39.99
Total Synthesis of Bioactive Natural Products by Palladium-Catalyzed Domino Cyclization of Allenes a
$84.99
The Genetics of the Pig
$54.99
The Politics of Postmodernity
$84.99
Defining Waka Musically
$44.99
Irish Modernism and the Global Primitive
$39.99
Green Growth: Managing the Transition to a Sustainable Economy
$219.99
Essentials of Tissue Banking
$169.00
Realigning Research and Practice in Information Systems Development
$169.00
Neuro-Ophthalmology
$169.99
Bauformen moderner Fertigungssysteme
$69.95
In meinen Tnen spreche ich
$49.99
Sexual and Reproductive Health
$159.99
Transgenesis Techniques
$109.99
Wireless Communications Systems Architecture
$89.99
Unternehmerziele und unternehmerisches Zielsystem
$64.99
Multi-criteria Decision Making Methods
$219.99
Security and Privacy in Communication Networks
$54.99
Politische Theorien in Russland
$39.99
Euro-Par 2022: Parallel Processing
$79.99
Handbuch Maschinenbau
$89.99
Flash Floods
$199.99
Innerbetriebliche Leistungsverrechnung im Krankenhaus
$29.99
Basic Income and the Free Market
$84.99
Untersuchung des Einflusses der Belastungsdauer auf die Spracherkennung und Hraufmerksamkeit bei H
$59.99
Applied Control of Electrical Drives
$199.99
Context-Based Routing in Dynamic Networks
$84.99
Cross-Border Tourism in Protected Areas
$84.99
Salivary Gland Development and Regeneration
$159.99
John Maynard Keynes and the Economy of Trust
$54.99
Youth Movements, Citizenship and the English Countryside
$109.00
