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
Theory of the Electron
$109.00
Advances in Smart Vehicular Technology, Transportation, Communication and Applications
$249.99
Global Energy Policy and Security
$129.00
Advances in Communication, Devices and Networking
$189.00
Protest-Inszenierungen
$59.99
The Labour Party's Political Thought
$169.99
Design Automation for Field-coupled Nanotechnologies
$109.99
Crisis, Austerity, and Everyday Life
$39.99
Expert C# Business Objects
$44.99
Jessi Ramsey, Pet-sitter (The Baby-Sitters Club #22)
$5.24
Grammatical Inference: Algorithms and Applications
$39.99
Imagina
$5.96
Die Konstruktion der sozialen Welt
$59.99
From Attention to Goal-Directed Behavior
$219.99
Intracellular Signal Transduction: The JAK-STAT Pathway
$84.99
British Images of Germany
$54.99
Monoclonal Antibodies
$84.99
Catherine the Great
$39.99
Research Methodology: A Guide for Researchers In Agricultural Science, Social Science and Other Rel
$279.99
Iberian Visions of the Pacific Ocean, 1507-1899
$109.00
Self-Studies of Teacher Education Practice Online
$129.99
Consuming Cultures
$54.99
Serviceinnovationen in Industrieunternehmen erfolgreich umsetzen
$59.99
Introduction to Applied Solid State Physics
$54.99
Mary Queen of Scots and French Public Opinion, 1542-1600
$54.99
Italy and the Military
$119.00
ICT Unbounded, Social Impact of Bright ICT Adoption
$109.99
Kick-starter.com
$54.99
Politics, Religion and Political Theology
$99.99
Heat Conduction
$109.99
Strahlentherapie
$69.99
Business im Internet
$69.99
Ethical Challenges for Healthcare Practices at the End of Life: Interdisciplinary Perspectives
$79.99
India: Acquiring its Way to a Global Footprint
$54.99
Phnomenologie der Gewalt
$99.00
Circular Economy Adoption
$219.99
Experimental and Clinical Amblyopia
$219.99
Euro-Par 2009 - Parallel Processing
$129.00
Geschftsmodell Nachhaltigkeit
$54.99
Lernen mit Alltagsphantasien
$54.99
