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:
Buy Computer Aided Verification for $84.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$84.99 | 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 Nucleus Basalis-Neostriatum Complex in the Goose (Anser anser L.)
$109.99
Angewandte Improvisation fr Coaches und Fhrungskrfte
$19.99
The Working Lives of Prison Managers
$109.99
G-Quadruplex Nucleic Acids
$199.99
Numerical Ecology with R
$99.99
Die Anfnge der literarischen Avantgarde in Deutschland ber Anverwandlung und Abwehr des italienisc
$84.99
Modelling and Optimization of Distributed Parameter Systems Applications to engineering
$169.00
JIMD Reports - Case and Research Reports, 2011/3
$39.99
Factor analysis applied to developed and developing countries
$54.99
Architecture in Living Structure
$129.00
ISDN - The Integrated Services Digital Network
$74.99
Integrin-Ligand Interaction
$84.99
Peptide Modifications to Increase Metabolic Stability and Activity
$109.99
Effekte eines Gerontopsychiatrischen Zentrums auf das regionale Versorgungssystem psychisch gestrte
$59.99
Die Bilanzwahrheit und die Bilanzlge
$29.99
Timely Research Perspectives in Carbohydrate Chemistry
$109.99
Money, Trade, and Competition
$84.99
Advances in Information Retrieval
$99.00
Wettbewerb und Kooperation
$79.99
Global Frankenstein
$29.99
Career Moves
$49.99
FDG-PET/CT and PET/MR in Cardiovascular Diseases
$109.99
Human Rights Film Festivals
$54.99
Conspiracy Ideologies in Films and Series
$79.99
Educational Alternatives for Students with Learning Disabilities
$54.99
Trump global
$24.99
Theorem Proving in Higher Order Logics
$39.99
Marktliche Koordination in der dezentralen Produktionsplanung
$49.99
Rechnergesttztes System zur automatisierten 3D-Layoutoptimierung
$59.99
Reviews of Physiology, Biochemistry and Pharmacology
$169.00
3D Manufacturing Innovation
$109.99
Biomaterials as Green Flame Retardants
$149.00
Soft Sets
$84.99
Proceedings of the Indian Geotechnical Conference 2019
$379.99
Lyme Borreliosis
$169.99
Managing and Mining Graph Data
$169.00
The Italian State and International Terrorism, 19691986
$89.00
Sex Steroids' Effects on Brain, Heart and Vessels
$99.99
Genetic Engineering of Crop Plants for Food and Health Security
$219.00
Fuzzy and Multi-Level Decision Making
$84.99
