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
Static Analysis
$39.99
The Founding Fathers, Education, and "The Great Contest"
$54.99
Pro SQL Server 2022 Administration
$79.99
Multimedia for Accessible Human Computer Interfaces
$109.99
Biochemistry and Function of Phagocytes
$84.99
Algorithms and VLSI Implementations of MIMO Detection
$79.99
Switchpoints for the Future of Logistics
$49.95
Dynamic Modelling of Gas Turbines
$169.99
Cognitive Behaviour Therapy for People with Intellectual Disabilities
$44.99
Advances in Microbial Ecology
$219.99
Bioaugmentation, Biostimulation and Biocontrol
$169.99
Qualittsmanagement fr Nonprofit-Dienstleister
$49.99
Looking at and Beyond Corporate Governance in India
$159.99
Hydrogels
$39.99
Bericht ber das Jahr 1958
$44.99
Healthy Ties
$129.00
Parteien und Verbnde
$59.99
Optimal Control with a Worst-Case Performance Criterion and Applications
$39.99
Robot Operating System (ROS)
$179.99
Die mittelalterliche Besiedlung des deutschen Ostens und das Deutsche Recht
$54.99
International Joint Conference SOCO18-CISIS18-ICEUTE18
$219.99
Commentar zur Pharmacopoea Germanica
$59.99
Designing for Quality
$169.99
Simulation and Modeling Methodologies, Technologies and Applications
$109.99
Digital Libraries: Supporting Open Science
$99.99
Quantification of Tannins in Tree and Shrub Foliage
$169.99
Remembering Edith Alice Mller
$84.99
The Economics of Sustainable Development
$169.99
First-stage LISA Data Processing and Gravitational Wave Data Analysis
$109.99
Perspectives on International Political Theory in Europe
$69.99
A Course in Mathematical Physics 1 and 2
$109.99
Glycobiology and Medicine
$169.00
B-to-B-Markenfhrung
$99.00
Lindenmayer Systems
$149.00
The Origins of Contemporary Sino-Japanese Relations
$54.99
The Ethics of Educational Healthcare Placements in Low and Middle Income Countries
$31.00
Progress in Anterior Eye Segment Research and Practice
$54.99
Going Global Strategien, Methoden und Techniken des Auslandsgeschfts
$79.99
Aquinass Philosophical Commentary on the Ethics
$169.99
Advances in Neural Networks ISNN 2024
$99.99
