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
Design Science Methodology for Information Systems and Software Engineering
$49.99
An Elastic Model for Volcanology
$54.99
Promoting Rental Housing Affordability in European Cities
$39.99
Kent State (Hardcover)
$14.99
Computergesttzte Gruppenarbeit (CSCW)
$69.95
Asphaltstraen und Teerstraen
$59.99
Swarms and Network Intelligence in Search
$169.99
Angewandte Wirtschaftsstatistik
$24.99
Modellbildung kinematischer Strukturen als Komponente der Montageplanung
$59.99
Rntgen-Fehleinstellungen
$69.99
Das Property Rights Equity Concept
$59.99
Functional Anatomy of the Brain: A View from the Surgeons Eye
$149.00
(Re)designing the Continuum of Care for Older Adults
$99.99
Numerical Linear Algebra for Applications in Statistics
$54.99
Interwar Unemployment in International Perspective
$169.00
The Social and Human Sciences in Global Power Relations
$129.00
Hello Reader! Science Level 4: Wild Weather: Hurricanes!
$2.99
Advanced Quantum Theory and Its Applications Through Feynman Diagrams
$74.99
Practice-based Learning in Higher Education
$109.99
Knstliche neuronale Netze zur Risikomessung bei Aktien und Renten
$64.99
Digitales Management und Marketing
$74.99
Experimental Innovations in Surface Science
$229.00
Recent Developments in Commutative Algebra
$39.99
Sustainability and Energy Management
$54.99
Adalat
$84.99
Laparoscopic Sleeve Gastrectomy
$54.99
Japanization at Work
$19.99
Platelet-Activating Factor and Related Lipid Mediators
$54.99
Practical Information Security Management
$79.99
Durch die berufliche Krise und dann vorwrts
$17.99
Technische Temperaturmessung
$109.00
Mouse Mess
$5.21
Mission Mastery
$39.99
Programmieren mit Ada und C
$59.99
Automatic Coding: Choice of Data Structures
$54.99
Classical Guitar Design
$89.00
Double Stars, Physical Properties and Generic Relations
$39.99
Brgerschaftliches Engagement und Erwerbsarbeit
$64.99
Biological and Synthetic Polymer Networks
$39.99
Reasoning with Complex Cases
$219.99
