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
Ecology and Evolutionary Biology of Clonal Plants
$219.99
Arbeitsrecht - Schnell erfasst
$19.99
Introduction to Computational Thinking
$59.99
Types for Proofs and Programs
$39.99
The Challenges to Nuclear Power in the Twenty-First Century
$84.99
Computer Graphics through Key Mathematics
$99.99
Orthodontics in Obstructive Sleep Apnea Patients
$99.99
Novel Health Interprofessional Education and Collaborative Practice Program: Strategy and Implementa
$119.99
Starting Life as a Midwife
$54.99
The Secrets of Soviet Cosmonauts
$24.99
Partial Differential Equations of Elliptic Type
$39.99
Gruppenanalytische Exkurse
$69.99
Intelligente Sensorsysteme in der Fertigungstechnik
$69.99
South Africa and Nuclear Proliferation
$49.99
Responsive Literacy: A Comprehensive Framework
$39.74
David Ricardo on Public Debt
$109.99
Securing Peace in Europe, 194562
$129.00
Climate Change, Natural Resources and Sustainable Environmental Management
$349.00
Kleine Haushaltungskunde: Hauswirtschaft Ernhrung, Kinder- und Krankenpflege
$49.99
Diagnostische Probleme in der Rehabilitation von Kreislaufkranken
$59.99
Deuterium and Shift Calculation
$84.99
Rechnungslegung und Prfung der Versicherungsbetriebe
$59.99
Elephant & Piggie: I Am Invited to a Party!
$5.24
Comprehensive Biochemistry for Dentistry
$199.99
100 Task Cards: Figurative Language
$9.74
Augenchirurgie
$54.99
Vaccine Protocols
$129.00
Text-Tollhaus fr Bachmann-Schtige?
$59.99
Spine Pain Care
$249.99
China's Macroeconomic Outlook
$54.99
Fictions of the War on Terror
$54.99
Fixpunkte und Nullstellen
$17.99
Domestic Violence Laws in the United States and India
$39.99
Pharmacological facts and figures
$74.99
Oligodendroglia
$39.99
Wirtschaft Voll bld?
$59.99
Micropolitics in Contemporary China: A Technical Unit During and after the Cultural Revolution
$74.99
Grundlagen der Europischen Whrungsintegration
$49.99
EU International Agreements
$139.99
Molecular Mechanisms of Membrane Fusion
$129.00
