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
Einfhrung in die Organisation der Produktion
$49.99
Computerkartographie
$54.99
War-Time Care Work and Peacebuilding in Africa
$84.99
Mastering Anxiety
$54.99
Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Servi
$39.99
Dissipative Systems Analysis and Control
$219.99
MEMS Vibratory Gyroscopes
$199.99
Die mediale Inszenierung von Amok und Terrorismus
$39.99
Proceedings in Echo-Encephalography
$84.99
Women in the History of Analytic Philosophy
$139.99
Compendium of Aeronomy
$549.99
Finite and Profinite Quantum Systems
$89.99
Feminist Ethics and Social and Political Philosophy: Theorizing the Non-Ideal
$109.99
Algorithms for Data and Computation Privacy
$159.99
Systemorientierte Jahresabschluanalyse
$59.99
Early Modern Ecostudies
$54.99
New Scientific Aspects
$84.99
Novel Foods in the European Union
$59.99
Integrated Groundwater Management
$59.99
Information Security and Cryptology ICISC 2023
$64.99
Regional Visionaries and Metropolitan Boosters
$84.99
Transactions on Modularity and Composition I
$84.99
Praxis der Viszeralchirurgie
$269.00
Travel Behavior Characteristics Analysis Technology Based on Mobile Phone Location Data
$179.99
Die Mathematik als Denkwerk
$49.99
Maritime Archaeology
$219.99
The Ultimate Bug Field Guide- The Entomologist's Handbook Bugs, Observations, Science, Nature, Field Guide by Julius Csotonyi Illustrator
$16.95
Static Analysis
$54.99
The Unconscious and Eduard von Hartmann
$54.99
Offstage Space, Narrative, and the Theatre of the Imagination
$39.99
AI*IA 2019 Advances in Artificial Intelligence
$39.99
The Biology of Germinal Centers in Lymphoid Tissue
$39.99
Lectures on Random Voronoi Tessellations
$54.99
California (A True Book: My United States)
$23.25
A Systolic Array Optimizing Compiler
$84.99
Ernst Mach Zu Leben, Werk und Wirkung
$79.99
Linear Models with Correlated Disturbances
$109.99
Stochastic Differential Equations
$49.95
The Financial Ecosystem
$99.00
Polare Perfluoralkylcarbonsuren
$49.99
