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
Discrete Event Systems
$84.99
The Politics of Mobile Citizenship in Europe
$54.99
Next Generation Computing Technologies on Computational Intelligence
$39.99
Zwischen Leben und Tod
$49.99
Frontier and Innovation in Future Computing and Communications
$329.99
Social Cognition and the Acquisition of Self
$39.99
Living Intersections: Transnational Migrant Identifications in Asia
$109.99
Pesticide Residue in Foods
$159.99
Qualitt des Aktienresearch von Finanzanalysten
$79.99
Altes und Neues zu thermoelektrischen Effekten und Thermoelementen
$79.99
International Strategic Management of Brands and Online Firms
$84.99
Imaging Trauma and Polytrauma in Pediatric Patients
$84.99
Design Ethnography
$37.99
Politics and Political Culture in the Court Masque
$109.99
Dermatologie Venerologie
$139.00
The Adventures of Qai Qai by Serena Williams
$18.99
Cardiac Glycosides
$84.99
Sonic Design
$49.99
Evil and the God of Love
$84.99
Bauwerke und Erdbeben
$64.99
Inorganic Adduct Molecules of Oxo-Compounds
$54.99
Diasporas, Development and Governance
$54.99
Nanotechnology for Energy and Environmental Engineering
$169.99
Bedrohung und Bewhrung
$59.99
Religion, Crime and Punishment
$139.99
Multicriteria Analysis for Land-Use Management
$219.99
Klassische und molekulare Genetik
$59.99
Polymer Engineering 3
$84.99
Routing in Opportunistic Networks
$169.99
Die Betriebsabrechnung der Kreditinstitute unter besonderer Bercksichtigung der gesetzlichen Bestim
$69.99
Low Fertility in Advanced Asian Economies
$54.99
Die Wirkung von Zielen auf die Arbeitsleistung von Akteuren
$69.99
The Future of Vocational Education and Training in a Changing World
$84.99
Reciprocating Engine Combustion Diagnostics
$49.99
Wie Pippa wieder lachen lernte
$37.99
The Calculus of Variations and Optimal Control
$109.99
Ulcerative Colitis
$39.99
Envisioning Criminology
$39.99
Statistical Approach to Quantum Field Theory
$69.99
Plant Genomics
$169.99
