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 $36.00 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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Lige, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of application areas. The papers included range from theoretical issues to concrete applications with a certain emphasis on verification tools and the algorithms and techniques needed for their implementations. Beyond finite-state systems, real-time systems and hybrid systems are an important part of the conference.
Reviews
Questions & Answers
The Nature of Intractable Conflict
$129.99
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
$119.99
Resilient and Responsible Smart Cities
$279.99
Third International Visual Field Symposium Tokyo, May 36, 1978
$54.99
Juana I
$129.99
Artificial Intelligence in Education
$99.99
Konstruktion und Material im Bau von Dampfturbinen und Turbodynamos
$59.99
Population Aging and Age-Friendly Transport in China
$109.00
Zweistromland
$329.99
Photosynthesis Bibliography
$54.99
Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Pro
$179.99
Moderne Finanzmathematik Theorie und praktische Anwendung Band 2
$37.99
Historische Semantik
$19.99
Laura BassiThe World's First Woman Professor in Natural Philosophy
$99.99
Polyoxometalate Molecular Science
$219.99
Landslide Science and Practice
$169.99
Kleists Geheimnisse
$59.99
A Person-Centered Approach to Psychospiritual Maturation
$19.99
Alternative Medicine and Ethics
$109.99
The Christmas Wish by Lori Evert
$18.99
From Exclusion to Excellence
$39.99
The Ethics and Economics of the Capability Approach
$99.00
Praxis der Montagetechnik
$89.99
Animorphs Graphix Grades 3-5
$45.00
Die deutschen Lnder
$44.99
The Gentle Art of Swedish Death Cleaning: How to Free Yourself and Your Family from a Lifetime of Clutter by Margareta Magnusson
$22.00
Perception of Displayed Information
$39.99
Japan's Relations with Muslim Asia
$99.99
Understanding Clinical Data Analysis
$169.99
Kausalitt, Analytizitt und Dispersionsrelationen
$44.99
Materials, Design and Manufacturing for Sustainable Environment
$169.99
Phase Transitions in Cell Biology
$109.99
Churchill, Whitehall and the Soviet Union, 194045
$84.99
Formation of the Heart and its Regulation
$109.99
Werkstoffkunde der Elektrotechnik
$79.99
Fifty Years of Electron Diffraction
$109.99
Recent Advances in Virus Diagnosis
$39.99
Facelets Essentials
$29.99
Soil and Water Conservation for Sustainable Food Production
$54.99
The Penultimate Peril- Book the Twelfth A Series of Unfortunate Events by Lemony Snicket
$15.99
