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
Index Data Structures in Object-Oriented Databases
$169.99
Reformpolitik in Deutschland und Frankreich
$79.99
Soft City Culture and Technology
$109.99
Applied Superconductivity, Metallurgy, and Physics of Titanium Alloys
$54.99
Indikatoren in Entscheidungsprozessen
$79.99
Technische Schwingungslehre in ihren Grundzgen
$44.99
Seismic Wave Propagation and Scattering in the Heterogeneous Earth : Second Edition
$229.00
Women Educators in the Progressive Era
$54.99
Split Manufacturing of Integrated Circuits for Hardware Security and Trust
$79.99
Zeitschriften und Medienunterhaltung
$64.99
Substances Containing C10H16...Zn
$549.99
Fashion in the Fairy Tale Tradition
$99.99
Climate and Energy: The Feasibility of Controlling CO2 Emissions
$39.99
The Ministry of Public Input
$39.99
Mind, Values, and Metaphysics
$84.99
Deep Reinforcement Learning with Guaranteed Performance
$139.99
The Neuropathology of Huntingtons Disease: Classical Findings, Recent Developments and Correlation
$109.99
Proceedings of the 1st International Conference on Electronics, Biomedical Engineering, and Health I
$219.99
Work-Life Balance in Africa
$139.00
Das Netzwerkunternehmen
$89.99
Railways and the Western European Capitals
$54.99
The Contribution of Universities Towards Education for Sustainable Development
$129.00
Healing the Anxiety Diseases
$54.99
Contributions in Mathematical Physics
$42.00
Electron Spin Resonance Spectroscopy in Medicine
$129.99
IT-Strategien fr die ffentliche Verwaltung
$64.99
No Dogs Allowed!
$5.96
Mathematical Models and Design Methods in Solid-Liquid Separation
$219.99
Amelia Bedelia's First Valentine Special Gift Edition by Herman Parish
$13.99
Interpretation of Endoscopic Biopsy - Gastritis, Gastropathies and Beyond
$169.99
Praktische Optik
$59.99
National Geographic Little Kids Look & Learn Grades PreK-K
$13.00
Progress in Hybrid RANS-LES Modelling
$129.00
Electroanalytical Methods
$169.99
Dissidents in Communist Central Europe
$99.99
A Memoir on the Physical Review
$34.95
Policy Framing in the European Union
$54.99
Jugendarbeit auf dem Land
$49.99
Logistikplanung in der Automobilindustrie
$74.99
Industrial and Organizational Psychology Help the Vulnerable
$109.99
