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 $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book consitutes the refereed proceedings of the 10th International Conference on Computer Aided Verification, CAV'98, held in Vancouver, BC, Canada, in June/July 1998. The 33 revised full papers and 10 tool papers presented were carefully selected from a total of 117 submissions. Also included are 11 invited contributions. Among the topics covered are modeling and specification formalisms; verification techniques like state-space exploration, model checking, synthesis, and automated deduction; various verification techniques; applications and case studies, and verification in practice.
Reviews
Questions & Answers
Algebraic Semantics
$19.99
Doing Social Problems
$39.99
Optimization of Integrated Supply Chain Planning under Multiple Uncertainty
$54.99
Genome Evolution
$129.00
Infrared Transmission Spectra of Carbonate Minerals
$39.99
A Reformulation-Linearization Technique for Solving Discrete and Continuous Nonconvex Problems
$219.99
Praktische Schmerzmedizin
$159.99
The Lingzhi Mushroom Genome
$169.99
Clinico-Pathological Atlas of Congenital Fundus Disorders
$39.99
ber die diagnostische Verwertbarkeit des Tonoszillogramms fr Kreislaufuntersuchungen beim Pferde
$64.99
Experimentelle Einfhrung in die Elektrochemie
$49.99
Die Vermessung der sozialen Welt
$44.99
Stochastik mit Mathematica
$44.99
Methodologies for Intelligent Systems
$84.99
The Holy Spirit and Christian Formation
$169.99
Thermodynamik fr Ingenieure
$29.99
Systems Simulation in Agriculture
$39.99
Computational Intelligence. Theory and Applications
$84.99
Bildungsbeteiligung: Wachstumsmuster und Chancenstrukturen 1800 - 2000
$39.99
Green Synthesis of Nanoparticles: Applications and Prospects
$189.00
Robotic Sailing
$219.99
Modeling and Simulation of Complex Dynamical Systems
$39.99
Electronic Services
$69.99
Faszinierendes Gehirn
$34.99
The Handbook of Political Behavior
$39.99
Human-Computer Interaction
$169.99
Makrokonomische Untersuchungen der Auswirkungen von Steuersystemnderungen
$49.99
Optical Metamaterials
$199.99
Max Bense: Poetische Texte
$59.99
Mglichkeiten zur Steuerung des Stoffflusses beim Ziehen groer unregelmiger Blechteile
$59.99
Waste Reduction in Precast Construction
$99.00
Advances in Cardiopulmonary Resuscitation
$84.99
Frozen Section Library: Central Nervous System
$149.00
IFM99
$109.99
Grenzberschreitend begangene Strassenverkehrsbertretungen zwischen der Schweiz und Deutschland
$39.99
Estrogen Receptor and Breast Cancer
$199.99
Genetic Structure and Local Adaptation in Natural Insect Populations
$109.99
PAINS AND GAINS OF INTERNATIONAL MOBILITY IN TEACHER EDUCATION
$49.99
Zwischen Anwesenheit und Abwesenheit
$89.99
Human in Vitro Fertilization and Embryo Transfer
$39.99
