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
Problems of Fracture Mechanics and Fatigue
$169.99
Celestial Messengers
$44.99
Market Entry into the USA
$54.99
Die Identitt der Organisation und die Organisation der Identitt
$39.99
Gendering and Sexualities
$119.99
Computational Methods in Synthetic Biology
$54.99
Managing Neuropathic Pain in the Diabetic Patient
$54.99
Reaktive Preispolitik in industriellen Kundenbeziehungen
$74.99
Quantenmechanik
$59.99
Infrastrukturinvestments
$39.99
Netherlands Quarterly for the History of Art
$74.99
Das Konzept des inneren Feindes in Guatemala
$44.99
Hayabusa2
$169.99
Lehrbuch der Bergbaukunde mit besonderer Bercksichtigung des Steinkohlenbergbaues
$54.99
Digitalisierung und Energiewirtschaft
$17.99
The Decomposition of Primes in Torsion Point Fields
$34.99
Marketization in Local Government
$139.99
A History of the Ideas of Theoretical Physics
$109.99
Mechanics of Materials
$69.99
Studien- und Lebenspraxis internationaler und deutscher Studierender
$69.99
Intelligent Interactive Multimedia Systems and Services in Practice
$109.99
Pro Unity Game Development with C#
$79.99
Im Kosmos zu Hause
$39.99
Collaborative Design in Virtual Environments
$84.99
Management of Shared Groundwater Resources
$219.99
Relations and Graphs
$84.99
New Methods and Applications in Multiple Attribute Decision Making (MADM)
$119.99
Strategisches Framing
$19.99
UK GAAP
$69.99
Opioid Food Peptides
$109.99
Chefsache Finanzen in Einkauf und Supply Chain
$54.99
Prferenzmessung bei Kfz-Kaskoversicherungen
$69.99
Studying Kinetics with Neutrons
$169.99
Formal Description of Programming Concepts
$109.99
Politikfeldanalyse
$19.99
New Business Models for the Reuse of Secondary Resources from WEEEs
$37.99
Methods for Analysing and Reporting EQ-5D Data
$59.99
Microbial Diversity in Time and Space
$129.00
Facet Theory and the Mapping Sentence
$49.99
Der Hymnus Veni Creator Spiritus
$59.99
