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
Microbes for Sustainable lnsect Pest Management
$249.99
New Perspectives on Corporate Social Responsibility
$84.99
Ultimate Read-Aloud Collection Grade 4
$578.00
Algorithms -- ESA 2010, Part II
$39.99
Globalisierte Hausarbeit
$49.99
Input Trade Liberalization in China
$99.00
Classical Fourier Transforms
$54.99
It's All About.: Wild Weather
$5.21
Genomics of Plant-Associated Fungi: Monocot Pathogens
$169.99
The Spanish Economy
$54.99
The General Principles of Law as Applied by International Tribunals to Disputes on Attribution and E
$54.99
Contesting Performance
$54.99
Social Economies of Fear and Desire
$54.99
Drafting the EU Charter
$54.99
Neuproduktvorankndigungen
$64.99
The Justice Motive in Social Behavior
$219.99
Single Cell Biomedicine
$179.99
Unfallversicherung und AUB 88
$59.99
Das sozialisierte Geschlecht
$59.99
Clinical Applications of Artificial Intelligence in Real-World Data
$109.99
Socio-Ecological Systems and Decoloniality
$139.99
Marketing-Management
$59.99
Information Processing in Medical Imaging
$54.99
Thermodynamik kompakt - Formeln und Aufgaben
$37.99
Equations of Motion for Incompressible Viscous Fluids
$139.99
Boolean Functions
$89.00
Der digitale Gutenberg
$64.99
Hidden Markov Models for Bioinformatics
$159.99
Extension of Ricoeurs Hermeneutic
$109.99
Viral Hepatitis in Children
$109.99
Die Bedeutung von Artikel 5(f) der Rassendiskriminierungskonvention im deutschen Recht
$117.95
Teaching Statistics in School Mathematics-Challenges for Teaching and Teacher Education
$169.99
Umweltpolitik als Modernisierungsproze
$59.99
Beginning HTML5 Media
$44.99
Curriculum Change within Policy and Practice
$109.00
Katheterablation supraventrikulrer Tachykardien
$54.99
Anders Gesund Psychische Krisen in der Arbeitswelt
$49.99
The 3rd International Conference on Nanomaterials and Advanced Composites
$119.99
Guided Reading Level N Pack 2
$71.00
Biocommunication of Animals
$169.99
