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
Luis Alvarez (Getting to Know the World's Greatest Inventors & Scientists)
$5.21
The Salesforce Consultants Guide
$44.99
Die Hftreifungsstrung
$119.99
Lehrbuch der Gynkologie
$59.99
Glycobiology and Medicine
$169.00
Chronic Lymphocytic Leukemia
$79.99
Selbstanzeige als Instrument zur Kriminalittsbekmpfung
$64.99
Leistungsphysiologie
$59.99
Cytokines and Growth Factors in Blood Transfusion
$169.99
Teaching Shakespeare Beyond the Centre
$54.99
Die Wettbewerbslage der westdeutschen Juteindustrie
$59.99
Advanced Concepts in Fluorescence Sensing
$219.99
Limnology and Aquatic Birds
$169.99
Optimale Prozessorganisation im IT-Management
$59.99
Lipid Mediators in the Immunology of Shock
$39.99
Alternative Development Strategies in Subsaharan Africa
$59.99
Moduli of Families of Curves for Conformal and Quasiconformal Mappings
$54.99
Handbook of Control Systems Engineering
$259.00
Reversible Digital Watermarking
$29.99
Partizipation Demokratisierung Mitbestimmung
$44.99
Complex Networks XIV
$219.99
Sharp Martingale and Semimartingale Inequalities
$54.99
Structural Performance of Masonry Elements
$39.99
Internalizing Globalization
$109.99
Financing of Higher Education
$119.00
Fresh Flash
$49.99
Narratives of the Islamic Conquest from Medieval Spain
$109.99
Kopplungen und Entscheidungen in der Organisation Schule
$74.99
A Course on Integration Theory
$89.99
Fibre Optic Communication
$329.99
Theoretische Informatik - kurz gefasst
$39.99
The Personal Finance Guide for Tech Professionals
$39.99
Integrated Behavioral Health in Primary Care
$79.99
Ohio's Education Reform Challenges
$27.99
Synthetic Datasets for Statistical Disclosure Control
$99.00
Java 17 for Absolute Beginners
$64.99
Cromwellian Foreign Policy
$109.99
Legal Effect of World War II on Treaties of the United States
$54.99
Rising Powers and Peacebuilding
$23.00
Beitrge zur Berechnung von Kaplanturbinen
$54.99
