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
Stochastic Flows and Jump-Diffusions
$129.99
Nonlinear Partial Differential Equations and Applications
$34.99
Advanced Quantum Mechanics
$159.99
How People Change
$84.99
The Cost of Institutions
$54.99
Cardiac Adaptation in Heart Failure
$109.99
Effective Statistical Learning Methods for Actuaries III
$39.99
ICoSI 2014
$119.00
Lie Groups, Lie Algebras, and Their Representations
$89.95
Cricket Pitches
$169.99
Rising Voices: Elevating Latino Stories, Grades K-5
$3,585.95
Hello Reader! Level 2: Kenny and the Little Kickers
$2.99
Advances in Thermochemical Biomass Conversion
$429.00
Ionized Gases
$79.99
Information Technologies in Environmental Engineering
$219.99
Mimi and the Boo-Hoo Blahs: A Graphix Chapters Book (Mimi #2) (Hardcover)
$17.24
Applied Multiregional Demography: Migration and Population Redistribution
$54.99
Laser Systems, Part 3
$549.99
Advanced Information Systems Engineering Workshops
$54.99
Sustainable and Environmentally Friendly Dairy Farms
$64.99
Fundamentals of Engineering Economics and Decision Analysis
$29.99
Bisphosphonates in Medical Practice
$84.99
Montageplanung in CIM
$59.99
Winning in Asia, Japanese Style
$54.99
Complexity and Artificial Markets
$109.99
Resilience in Children, Families, and Communities
$69.99
Carbyne and Carbynoid Structures
$169.00
Proceedings of International Conference on Innovations in Software Architecture and Computational Sy
$249.99
Popular Culture and New Media
$54.99
Thinking in Circles About Obesity
$24.99
Molecular Liquids: New Perspectives in Physics and Chemistry
$329.99
Virtual Worlds
$39.99
Computer and Information Science 2021 - Fall
$169.99
Evolutionary Optimization: the GP toolkit
$84.99
Hepatitis B Virus Infection
$179.99
Religion und Skularisierung
$24.99
Perspektiven der Kognitionspsychologie
$69.99
Rapid Prototyping of Application Specific Signal Processors
$109.99
You Hold Me Up
$4.46
Representing Gender-Based Violence
$139.99
