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
Numerical Methods for Grid Equations
$39.99
Harmonic Function Theory
$74.99
The Law and Ethics of Data Sharing in Health Sciences
$169.99
Die InterAktiv-Schulung MS-DOS So fangen Sie an
$69.99
The European Commission and the Transformation of EU Borders
$109.99
Chemisch-technische Untersuchungsmethoden
$84.99
The Life and Economics of David Ricardo
$169.00
Applications of Interval Computations
$219.99
Duck, Duck, Dinosaur-My First I Can Read!: Snowy Surprise
$4.46
Program the Internet of Things with Swift for iOS
$39.99
Theory of Multivariate Statistics
$109.99
Proceedings of Third International Conference on Computing and Communication Networks
$249.99
Tools and Algorithms for the Construction and Analysis of Systems
$84.99
Deviance in International Relations
$109.99
Local Governments and Climate Change
$219.99
Erfolgreich Starten ins Ingenieurstudium
$19.99
Contested Energy Spaces
$39.99
Algebraic Number Theory
$54.99
Economics and Law of Artificial Intelligence
$99.00
Programmierung und Simulation von Zellenablufen in der Arbeitsvorbereitung
$59.99
From Agglomeration to Innovation
$109.99
Project Management and BIM for Sustainable Modern Cities
$169.99
Mathematik fr Ingenieure und Naturwissenschaftler 3
$54.99
Deep Reinforcement Learning
$199.99
Banking in Switzerland
$109.99
R.E.A.L. Base Set B Grade 3 (10-Pack)
$339.99
Musik und Emotionen
$84.99
Relaxation Techniques for the Simulation of VLSI Circuits
$109.99
Die Funktionsprfung des Akustischen und Statischen Labyrinths
$59.99
Grundriss der Parasitenkunde
$44.99
Electromagnetic Theory
$169.99
Ethik als Standard in der Beschaffung
$69.99
Zur strategischen Integration der Personalabteilung
$59.99
Health and Welfare of Captive Reptiles
$279.99
Analytical Methods in Statistics
$109.99
Studium der Zukunft Absolvent(inn)en der Zukunft
$64.99
The Chief Data Officer Management Handbook
$34.99
International Gas
$44.99
Water, State and the City
$54.99
Staatliche Sozialversicherung, individuelle Vorsorge und Arbeitsangebot
$49.99
