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
Actinide Nanoparticle Research
$129.00
New Perspectives in Partial Least Squares and Related Methods
$169.99
Sexuelle Eifersucht
$59.99
Sudden Infant Death Syndrome
$109.99
Statistics for Bioengineering Sciences
$109.99
Produktions-Management
$64.99
Healthcare Management Engineering In Action
$49.99
Natural Language Processing and Chinese Computing
$99.99
Phenomena and Computational Models of Non-Proportional Fatigue of Materials
$54.99
Integrating Safety and Security Management to Protect Chemical Industrial Areas from Domino Effects
$179.99
Big Data Analytics
$69.99
Wild Wave
$5.99
Das Forschungsprojekt
$49.99
Methodological Aspects of the Development of Low Temperature Physics 18811956
$109.99
Applied Cryptography and Network Security
$79.99
Meningiomas. Multiple Sclerosis. Forensic Problems in Neurosurgery
$54.99
Pfortader-Leberkreislauf, Stoffwechsel und Kollaps
$84.99
Der Smekal-Raman-Effekt
$79.99
Symposium on Automatic Demonstration
$44.99
Linear Regression
$159.99
Mechanics of Composite Materials with MATLAB
$109.00
Authentizitt als Fiktion
$39.99
Security Protocols XVIII
$39.99
Travel Behavior Characteristics Analysis Technology Based on Mobile Phone Location Data
$179.99
Illustrated Tumor Nomenclature / Nomenclature illustre des Tumeurs /
$44.99
Konjunkturelle Tendenzindikatoren fr das Land Nordrhein-Westfalen
$59.99
Professionsethik nach 2010
$49.99
Grundbegriffe der Wahrscheinlichkeitsrechnung und statistischen Methodenlehre
$54.99
E-Business and Telecommunications
$39.99
Chromatography
$39.99
Fhrung und Mikropolitik in Projekten
$17.99
Fuzzy Probabilities
$109.99
Uric Acid
$109.99
Pfadintegrale in der Quantenphysik
$44.99
Anglo-American Connections in Japanese Chemistry
$39.99
Optimal Wellbeing of Ageing Wild Animals in Human Care
$129.99
Why Religion? Towards a Critical Philosophy of Law, Peace and God
$119.00
Similarity Search and Applications
$39.99
Liquidittsregulierung als Determinante fr Bankverhalten
$64.99
Strengthening Information and Control Systems
$109.99
