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
Advances in Computational Intelligence Systems
$169.99
Kommentar zur Verordnung ber die Arbeitszeit
$59.99
Imperial Ladies of the Ottonian Dynasty
$139.99
Communication System Design Using DSP Algorithms
$39.99
Sozial- und Wirtschaftspolitik unter Rot-Grn
$37.99
Handbuch Entwicklungsforschung
$159.99
Hypothekenrecht und Notverordnungen
$59.99
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, I
$109.99
Europische Unternehmensbesteuerung II
$39.99
strogene in Diagnostik und Therapie
$69.99
Human Motivation and Interpersonal Relationships
$89.00
Understanding Cybersecurity Management in Decentralized Finance
$89.99
The Wave-Particle Dualism
$109.99
ber die Absorption von flssigem H2O und D2O im ultraroten Spektralgebiet zwischen 5 und 27
$54.99
Chronic Lymphocytic Leukemia
$169.99
Plant Pathology
$249.99
Making the Middle-class City
$139.99
3rd International Conference on Nanotechnologies and Biomedical Engineering
$169.00
Supply Chains
$169.99
Heilpflanzen der Traditionellen Europischen Medizin
$39.99
New Money in Rural Areas
$39.99
Biomarkers in Periodontal Health and Disease
$109.99
Applied Computing and Information Technology
$169.99
Teacher Learning with Classroom Assessment
$109.99
Gesundheitswesen fr Praktiker
$49.99
Strukturaufklrung mit moderner NMR-Spektroskopie
$39.99
Human Interface and the Management of Information
$109.99
Outcasts United
$7.46
Caravaggio. The Complete Works. 40Th Ed. by Sebastian SchaTze
$30.00
Transistoren bei groer Aussteuerung
$59.99
Biotechnologie: Die Biologischen Grundlagen
$49.99
Start-up-Kooperationen
$17.99
Glaciotectonic Landforms and Structures
$199.99
Gesammelte Schriften zur Psychopathologie
$179.99
Pro JavaFX 9
$59.99
Grace I Love You All Ways by Marianne Richmond
$8.99
Computer Vision Systems
$54.99
20. Internationales Stuttgarter Symposium
$169.99
Verkaufserfolg fr KMU
$19.99
Werkstoffwissenschaften und Fertigungstechnik
$34.99
