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 thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
Reviews
Questions & Answers
Energiepolitik
$59.99
Signal Processing in Medicine and Biology
$119.99
bergewicht als Politikum?
$49.99
Food Quality, Safety and Technology
$139.00
Differentialdiagnose Seltener Lungenerkrankungen im Rntgenbild
$44.99
Forest BioEnergy Production
$169.99
CONCUR 2001 - Concurrency Theory
$39.99
Zusammenarbeit in der Neuproduktentwicklung
$69.99
Why Criminalize?
$129.99
Smart and Sustainable Technology for Resilient Cities and Communities
$199.99
Starting From Scratch: A Wish Novel
$5.99
Zivilgesellschaft und Wohlfahrtsstaat im Wandel
$24.99
Philosophy of the Novel
$119.99
Opportunity Recognition
$24.99
Random Walks, Brownian Motion, and Interacting Particle Systems
$84.99
Open Data Exposed
$79.99
Marke und Gesellschaft
$69.99
Untersuchungen zur Optimierung des Wasch- und Finishverhaltens von Mischgeweben aus Polyester/Baumwo
$59.99
Wayward Dragon
$129.99
Mystical Traditions
$139.00
Classroom Management in Teacher Education Programs
$109.99
Advances in Artificial Intelligence
$39.99
Politics and Personalities
$54.99
Living Fanon
$39.99
Zur Geochemie des Bariums im exogenen Zyklus
$84.99
Maschinen- und Konstruktionselemente
$54.99
Public Policy Evaluation and Analysis
$199.99
Imaging Trauma and Polytrauma in Pediatric Patients
$84.99
Strahlungsmessung und Dosimetrie
$59.99
Ambient Intelligence in Everyday Life
$54.99
The Inflation Mechanism and Expectations
$89.00
Die proximalen Humerusfrakturen
$79.99
Fehlerbaumanalyse in Theorie und Praxis
$129.99
Chirurgia Plastica et Reconstructiva
$59.99
Handbuch Ganztagsbildung
$379.99
Indoor Environmental Quality
$169.99
Heterogeneity in Macroeconomics and its Implications for Monetary Policy
$54.99
The Invention of Europe in French Literature and Film
$54.99
21st Century Kinematics
$249.99
Growth, Disparities and Inclusive Development in India
$69.99
