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
Cyclic Homology
$159.99
Model Predictive Control of Wastewater Systems
$84.99
Advanced Functional Materials for Optical and Hazardous Sensing
$99.00
The Industrial Revolution
$129.00
Application of Integrable Systems to Phase Transitions
$54.99
Polymyalgia Rheumatica and Giant Cell Arteritis
$69.99
Advances in Air Traffic Engineering
$219.99
Totally Implantable Venous Access Devices
$169.99
Scientific Models
$44.99
Organizing the Extended Enterprise
$109.99
Die Zukunft sieht alt aus
$59.99
Reduction of Nonlinear Control Systems
$39.99
Britains Last Religious Revival?
$64.99
Declarative Networking
$29.99
The Language of Money and Debt
$84.99
Virtues and Passions in Literature
$129.00
Mediterranean Architecture and the Green-Digital Transition
$99.99
Potenziale der Digitalisierung fr die Teilhabe von Menschen mit Behinderung
$89.99
Mine Water
$249.99
Plant Comparative Genomics
$139.99
Algorithms for Computational Biology
$54.99
Photovoltaics for Sustainable Electricity and Buildings
$109.99
Graphite Intercalation Compounds II
$39.99
Frontiers of Governance
$54.99
Die Wunder der Bibel medizinisch erklrt
$24.99
Biosynthesis and Manipulation of Plant Products
$219.99
Erziehungswissenschaft: Arbeitsmarkt und Beruf
$29.99
Logics in Artificial Intelligence
$84.99
Secrecy and Responsibility in the Era of an Epidemic
$99.99
Betriebssysteme: Grundkonzepte und Modellvorstellungen
$69.95
Waren- und Informationslogistik im Handel
$49.99
Monica Brown Grades 3-5
$25.00
C.L.R. James and the Study of Culture
$39.99
Quantum Physics
$99.99
Swasserflora von Mitteleuropa, Bd. 19/2: Cyanoprokaryota
$199.99
Carl Friedrich von Weizscker: Major Texts on Religion
$54.99
Ambient-Marketing fr Printmedien
$39.99
Minerals Handbook
$74.99
Singular Perturbation Methods for Ordinary Differential Equations
$109.99
Troubleshooting Finite-Element Modeling with Abaqus
$84.99
