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
Advances in Manufacturing III
$149.00
Methoden der Fehler- und Ausgleichsrechnung
$59.99
Education during the Time of the Revolution in Egypt
$37.99
The Collected Works of Wassily Hoeffding
$129.00
Distributed Computing in Sensor Systems
$54.99
How to Draw Adventures (Pokmon)
$9.74
Approaches to Legal Ontologies
$109.99
Regulation and Restraint in Contemporary Medicine in the UK and USA
$84.99
Molecular and Cell Biology of Sexually Transmitted Diseases
$84.99
Perspektiven der Strategischen Unternehmensfhrung
$84.99
The Definitive Guide to JSF in Java EE 8
$44.99
Epidemiologische Methoden
$44.99
State Responses to Crimes of Genocide
$129.99
Exchange Rate Policy
$84.99
Einfhrung in die Erwachsenenbildung
$59.99
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Ma
$109.99
Age Determination of Young Rocks and Artifacts
$109.99
Autotrophic Microbiology and One-Carbon Metabolism
$169.99
The Baculovirus Expression System
$64.99
Selected Papers on Language and the Brain
$109.99
Expanding Environmental Awareness in Education Through the Arts
$159.99
Consulting Research
$84.99
Klinische Chemie
$59.99
Mechanisms of Lymphocyte Activation and Immune Regulation III
$39.99
Biology of Coccinellidae
$219.99
Epistemological Attributions to Entrepreneurial Firms
$129.99
Advances in Nuclear Physics
$109.99
Sports Journalism and Coming Out Stories
$59.99
A Universe of Atoms, An Atom in the Universe
$39.99
Whatever After: Abby in Neverland (Hardcover)
$12.74
Jahrbuch der Preutzischen Forst- und Jagdgesetzgebung und Verwaltung
$44.99
Berufswahl und Fluchtmigration
$49.99
Platinum Monolayer Electrocatalysts
$109.99
Winning the Games Scientists Play
$39.99
Filme ber Vernichtung und Befreiung
$74.99
Words, Space, and the Audience
$54.99
Idiosynkrasie, Anaphylaxie, Allergie, Atopie
$59.99
Der Experimentator: Proteinbiochemie/Proteomics
$29.99
Symbols that Bind, Symbols that Divide
$84.99
A Methodology for Uncertainty in Knowledge-Based Systems
$39.99
