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 book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99. The 34 revised full papers presented were carefully reviewed and selected from a total of 107 submissions. Also included are six invited contributions and five tool presentations. The book is organized in topical sections on processor verification, protocol verification and testing, infinite state spaces, theory of verification, linear temporal logic, modeling of systems, symbolic model checking, theorem proving, automata-theoretic methods, and abstraction.
Reviews
Questions & Answers
Artificial Diets for Insects, Mites, and Spiders
$109.99
Eigenvalue Problems: Algorithms, Software and Applications in Petascale Computing
$219.99
Time Series Analysis and Its Applications
$109.99
Hochspannungstechnik
$49.99
Third Grade Mermaid and the Narwhals (Hardcover)
$10.49
Carbon-Related Materials
$139.99
Mapping of Parent Hamiltonians
$129.00
kosystem Darm VI
$69.99
Logic, Language, Information, and Computation
$54.99
Techniques for Computer Graphics
$54.99
Accountability, Ethics and Sustainability of Organizations
$199.99
Catalysis for Clean Energy and Environmental Sustainability
$119.00
Unternehmen verstehen, gestalten, verndern
$34.99
Bacteriophage Therapy
$149.00
Skater Cielo
$5.99
Artificial Satellites and How to Observe Them
$37.99
Integrability and Nonintegrability in Geometry and Mechanics
$109.99
Die Messwandler
$84.99
Ellenberger-Schtz Jahresbericht ber die Leistungen auf dem Gebiete der Veterinr-Medizin
$59.99
Handbook of Continuum Mechanics
$89.00
Turbulence and Self-Organization
$129.00
You Will Meet a Tall, Dark Stranger
$37.99
The Future of Financial Systems in the Digital Age
$59.99
Fault Diagnosis
$259.00
Krperliches Training, Osteoporose und Frakturprophylaxe
$17.99
Population Dynamics and Projection Methods
$109.99
Praktische Baustatik
$49.99
Fact into Fiction
$34.99
Entropy, Deviations, and Statistical Mechanics
$44.99
Evaluating Sustainable Development and Corporate Social Responsibility Projects
$89.00
Hormones and the Heart in Health and Disease
$219.99
Die Wissensordnung
$59.99
Treatment of Contaminated Soil
$379.99
European Instructional Lectures
$84.99
Product-Focused Software Process Improvement
$54.99
Computer Vision ECCV 2024
$64.99
Stochastic Processes in Epidemic Theory
$54.99
Wilsonianism
$109.99
Iberian Visions of the Pacific Ocean, 1507-1899
$109.00
Metallothioneins in Normal and Cancer Cells
$39.99
