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
Reviews of Physiology
$39.99
Pre-K Trace & Write Wipe-Clean Activity Book
$7.49
Breeding and Biotechnology of Tea and its Wild Species
$169.99
English Stylistics
$64.99
Ethisches Urteilen oder Erziehung zur Moral?
$49.99
Mediatized Worlds
$139.99
Rechnen mit Maschinen
$74.99
Sensory-Motor Areas and Aspects of Cortical Connectivity
$219.99
Grundprobleme der Kybernetik
$59.99
Scan Statistics and Applications
$169.99
Can't You Make Them Behave, King George? (Hardcover)
$17.99
Refugee Genres
$139.99
Nutzungssicherung von flexibel automatisierten Produktionsanlagen
$79.99
Regularization of Ill-Posed Problems by Iteration Methods
$54.99
Principles of Package Development
$54.99
Entrepreneurial Music Education
$39.99
Sportkardiologie
$59.99
Architektur fr Marketinginformationssysteme
$59.99
Modeling and Control of Antennas and Telescopes
$169.99
Gender Negotiations among Indians in Trinidad 19171947
$89.00
Mechanisms in B-Cell Neoplasia 1994
$84.99
Making Teaching and Learning Matter
$109.99
Tales from the Shadowhunter Academy by Cassandra Clare
$15.99
On Media Memory
$109.99
Dynamics of Controlled Mechanical Systems
$84.99
Islamism and the Quest for Hegemony in Indonesia
$99.00
Foundation Silverlight 3 Animation
$29.99
The Poetics of Description
$54.99
Statistische Qualittskontrolle
$44.99
Prozeorientierte betriebliche Informationssysteme
$54.99
Rising China in a Changing World
$109.99
Business Opportunities in the Pacific Alliance
$89.00
Fractions, Ratios, and Roots
$17.99
Speicherprogrammierbare Steuerungen
$59.99
Advances in Psychology and Law
$109.99
Inside Information (30-copy pack)
$809.70
Management von Personalturnover
$59.99
Die Grundlagen der technischen Verkehrsunfallkunde und Ordnungsprobleme des Sachverstndigenwesens f
$49.99
Rationality of Varieties
$149.00
Sophisticated Signals and the Uncertainty Principle in Radar
$109.99
