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
The Dynamics of Wage Relations in the New Europe
$169.99
Queues
$109.99
Cloud-Service-Zertifizierung
$29.99
Does the World Exist?
$219.99
Nanocrystals:
$109.99
The Euro Crisis
$109.99
Responsibility and Liability in the Context of Transboundary Movements of Hazardous Wastes by Sea
$109.99
Origins and Evolution of the US Rebalance toward Asia
$54.99
Grundzge der Festigkeitslehre
$59.99
Assessing Environmental Risk of Oil Spills with ERA Acute
$24.99
TGF- in Human Disease
$129.00
Microbial Endocrinology: The Microbiota-Gut-Brain Axis in Health and Disease
$219.00
Post 9/11 and the State of Permanent Legal Emergency
$169.99
Oracle Application Express for Mobile Web Applications
$34.99
Cutting Edge of Ophthalmic Surgery
$179.00
Rhinologic and Sleep Apnea Surgical Techniques
$129.00
Paroxysmal Nocturnal Hemoglobinuria and Related Disorders
$84.99
Mathematical Theory of Democracy
$169.99
Transnational Policing and Sex Trafficking in Southeast Europe
$39.99
John Keats and the Medical Imagination
$139.99
Sociology in Action
$54.99
Geometrical Geodesy
$219.99
Der Architekten- und Ingenieurvertrag in der Berufspraxis
$64.99
Large-Scale Scientific Computing
$39.99
Water Policy in Israel
$129.00
Advances in Internet, Data & Web Technologies
$279.99
Growth Factors and the Cardiovascular System
$169.00
Combinatory Analysis
$109.99
Criminal Poisoning
$89.00
Collateral Circulation
$249.99
Digitale Signalverarbeitung in der Me- und Regelungstechnik
$49.99
Biotechnology and Intellectual Property Rights
$54.99
Sustainable Tourism Contracts
$129.99
Core Ethics for Health Professionals
$39.99
Drugs, Identity and Stigma
$139.99
Partizipative und deliberative Demokratie auf lokaler Ebene
$49.99
Generalized Intuitionistic Multiplicative Fuzzy Calculus Theory and Applications
$109.99
Managerial Rhetoric and Arts Organizations
$109.99
Handbook of Immigrant Health
$169.99
Theoretical Chemistry and Physics of Heavy and Superheavy Elements
$219.99
