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
Imaging and Manipulating Molecular Orbitals
$169.99
Transcriptional Control of Lineage Differentiation in Immune Cells
$169.99
Fundamentals of Neurophysiology
$89.99
The Coming Robot Revolution
$37.99
Noise Tolerant Data Authentication for Wireless Communication
$44.99
Chromatin Immunoprecipitation Assays
$169.99
Software Evolution
$54.99
Lnderbericht zum Deutschen Freiwilligensurvey 2019
$49.99
Biosurfactants
$169.00
Disability Benefits, Welfare Reform and Employment Policy
$54.99
Advances in Cryptology ASIACRYPT 2023
$79.99
Ergebnisse der Hygiene Bakteriologie Immunittsforschung und Experimentellen Therapie
$59.99
Access Networks
$39.99
Heat Kernels for Elliptic and Sub-elliptic Operators
$84.99
The Classic Tale of Peter Rabbit- The Collectible Leather Edition by Beatrix Potter
$29.95
National Geographic Kids Readers: Dive, Dolphin!
$3.71
Circulating Fluidized Beds
$84.99
Food Safety Engineering
$279.99
Integrating Ecology and Poverty Reduction
$169.99
Building The Titanic (A True Book: The Titanic)
$5.99
Austrian Economics: Tensions and New Directions
$169.99
Casebook of the Brief Psychotherapies
$54.99
Arbeitsmarktpolitik in der sozialen Marktwirtschaft
$44.99
Enumerative Geometry and Classical Algebraic Geometry
$54.99
Trilingual Talk in Sicilian-Australian Migrant Families
$109.99
Investitionen in chemische Produkte und Prozesse
$69.99
Building a National Corpus
$64.99
Tragwerke fr Hochbauten
$39.99
Advances in Integrated and Sustainable Supply Chain Planning
$129.00
Image Analysis
$169.99
Anaesthesie und Nierenfunktion
$69.99
Landscapes and Landforms of Ethiopia
$169.99
Salutogenic Urbanism
$109.00
Das Ingenieurwissen: Technische Thermodynamik
$19.99
Microphysical Reality and Quantum Formalism
$329.99
Atlas of Geriatric Dermatology
$219.99
Melowy: The Surprise Visit
$5.24
Reproductive Health and Cancer in Adolescents and Young Adults
$169.99
The Virus, Mycoplasma and Rickettsia Diseases of Fruit Trees
$329.99
The Year At Maple Hill Farm
$6.74
