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 contains the proceedings of the 6th Conference on Computer Aided Verification, held at Stanford University in June 1994. The in total 37 included papers were selected in a highly competetive reviewing process from 121 submissions; in total they document many of the most important advances achieved in CAV research and applications since the predecessor conference held in June 1993. The volume is organized in sections on Real-Time Systems, CAV Theory, CAV Applications, Symbolic Verification, Hybrid Systems, Model Checking, Improving Efficiency, and Hardware Verification.
Reviews
Questions & Answers
Abwickelbare Flchen
$59.99
Universal Theory of Automata
$44.99
Knowledge-Based Intelligent Information and Engineering Systems
$109.99
Competition Law and Policy in the Japanese Pharmaceutical Sector
$119.00
Handbook of Scales for Research in Crime and Delinquency
$54.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und experimentellen Therapie
$59.99
Theory of Digital Automata
$109.99
Data Processing for the AHP/ANP
$54.99
Aspects of Semidefinite Programming
$129.00
Constructive Fractional Analysis with Applications
$179.99
Quality Assurance in an International Higher Education Area
$54.99
Intelligent Transport Systems
$84.99
Vocabulary Studies in First and Second Language Acquisition
$89.00
Women Rock Science
$34.99
Quasi- und nichtlineare Kirchhoff-Netzwerke
$19.99
Rapid Prototyping
$129.00
The Laboratory Cockroach
$54.99
Schulterchirurgie
$54.99
Pervasive Computing
$54.99
Edelmetall-Analyse
$49.99
AI and IoT for Sustainable Development in Emerging Countries
$139.99
The Economics of Third World Military Expenditure
$29.99
Climate Change and Disaster Risk Management
$169.99
Annette von Droste-Hlshoff
$19.99
Boron Rich Solids
$169.00
Visualization of Time-Oriented Data
$169.00
Informational Passages for Text Marking & Close Reading: Grade 2
$8.99
Axoplasmic Transport in Physiology and Pathology
$109.99
Customization-Oriented Design of Product-Service System
$109.99
Countering Violent Extremism
$99.99
A Numerical Approach to the Simplified Laminate Theory of Composite Materials
$139.99
Protein Modules in Signal Transduction
$84.99
World Congress on Medical Physics and Biomedical Engineering 2018
$379.99
Prozesse
$69.99
Das Maschinenzeichnen des Konstrukteurs
$59.99
Policy Coordination in a Monetary Union
$109.99
G-Quadruplex Nucleic Acids
$199.99
Produktbezogene kologische Wettbewerbsstrategien
$59.99
Reframing Rhetoric
$54.99
Self-Empowerment und Professionalisierung in Migrantinnenselbstorganisationen
$89.99
