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
Elite und Exzellenz im Bildungssystem
$64.99
European Territorial Cooperation
$159.99
Erfolg trotz Fhrung
$79.99
Expert C# 2008 Business Objects
$44.99
The Semantic Web
$39.99
Chemotherapy and Urological Malignancy
$39.99
Topics in Matroid Theory
$54.99
Progress in Plant Cellular and Molecular Biology
$169.00
Populism and Crisis Politics in Greece
$39.99
Sara Coleridge
$54.99
XXXII. Tagung gehalten in Westerland/Sylt vom 16. bis 20. September 1980
$59.99
Die Smarte Marketing-Mix-Werkstatt
$69.99
Bacterial Regulatory RNA
$109.99
Growth and Development in Adulthood among Persons with Intellectual Disability
$79.99
Diario de un Unicornio #2: Iris y el cachorro de dragon
$4.49
Geographical Reasoning and Learning
$159.99
Pro JavaFX 2
$49.99
Cisco
$169.99
The Redefinition of Conservatism
$129.00
Fachwissen MTRA
$69.99
Die Generation Y
$74.99
Marktorientierte Unternehmenskultur
$59.99
The Local Configuration of New Research Fields
$39.99
The Mouse and the Motorcycle
$5.21
Der Schutz der Daten im Netz des Access Providers der Wissenschaft
$119.99
Geschftsprozessorientierte Systementwicklung
$99.99
Key Statistical Concepts in Clinical Trials for Pharma
$54.99
Humphrey's School Fair Surprise
$3.71
Cardiovascular Regeneration Therapies Using Tissue Engineering Approaches
$109.99
Voiding Dysfunction
$84.99
Novel Developments in Stem Cell Mobilization
$169.99
The Power of Memory and Violence in Central America
$79.99
The Sustainability of Renewable Energy in Europe
$109.99
A History of Central Europe
$32.99
Pavement Materials and Associated Geotechnical Aspects of Civil Infrastructures
$109.99
Plant Cell Division
$54.99
Pedagogy and ICT Use in Schools around the World
$169.99
16. Tagung der sterreichischen Gesellschaft fr Unfallchirurgie
$69.99
Vorbungen und Geschftsgnge zur Einfhrung in die Buchfhrung fr kaufmnnische Berufs- und Handel
$59.99
Scholastic Reader! Level 1 - BOB Books: The New Puppy
$17.24
