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:
Buy Computer Aided Verification for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Applied Cryptography and Network Security Workshops
$39.99
Phthalate Esters
$169.00
Astrobiology and Society in Europe Today
$54.99
IQWiG und Industrie Rechtliche Fragen zum Institut fr Qualitt und Wirtschaftlichkeit im Gesundhe
$69.99
On Unemployment
$84.99
Mineral and Thermal Waters of Southeastern Europe
$109.99
High Performance Computing Systems and Applications
$129.00
The Proper Generalized Decomposition for Advanced Numerical Simulations
$54.99
Karen's Kittycat Club: A Graphic Novel (Baby-Sitters Little Sister #4)
$8.24
Advanced Media Planning
$84.99
Demenz im Film
$29.99
Identities in Action
$179.99
Koalitionen in West- und Osteuropa
$69.99
konomische Inwertsetzung zur Erhaltung des Naturkapitals
$17.99
Rosado como el pez borrn
$4.49
The 2007 ESO Instrument Calibration Workshop
$54.99
Biotechnology of Crucifers
$169.99
Microgrids Design and Implementation
$199.99
Resilience, Response, and Risk in Water Systems
$84.99
Dngung der Kulturpflanzen
$44.99
Surrealism, Cinema, and the Search for a New Myth
$109.99
Management von Dienstleistungsunternehmen
$54.99
Electronic Structure and Optical Properties of Semiconductors
$54.99
Preventing Good People From Doing Bad Things
$37.99
Reconstructive Surgery and Modernisation in Twentieth-Century South Africa
$99.00
Vertigo and Dizziness
$129.00
Generalized Expected Utility Theory
$129.00
Den Ttern auf der Spur
$24.99
Zwischen Organismus und Notation
$59.99
Dokumenten-Management
$54.99
Algorithmic Foundations of Robotics IX
$169.99
Design, User Experience, and Usability: Design Discourse
$39.99
Nonunion of the Long Bones
$109.99
Handelsrecht
$59.99
Biomedicine Examined
$249.99
Money, Autonomy and Citizenship
$54.99
The Palgrave Concise Historical Atlas of the Balkans
$169.99
Labyrinth Problems
$54.99
Rational Choice: Theoretische Analysen und empirische Resultate
$89.99
Independent Reading Library: Level Q (45 Books)
$250.00
