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
Abstraction Refinement for Scale Model Checking
Best Price (Coupon Required):
Buy Abstraction Refinement for Scale Model Checking for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
Abstraction Refinement for Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system. Considering both the size of today's digital systems and the capacity of state-of-the-art verification algorithms, abstraction is the only viable solution for the successful application of model checking techniques to industrial-scale designs. This book describes recent research developments in automatic abstraction refinement techniques. The suite of algorithms presented in this book has demonstrated significant improvement over prior art; some of them have already been adopted by the EDA companies in their commercial/in-house verification tools.
Reviews
Questions & Answers
Neue Ergebnisse der Andrologie
$59.99
The Design of Intelligent Agents
$39.99
Microanatomical Aspects for Neurosurgeons and Neuroradiologists
$99.00
Monetary Policy in the European Monetary System
$84.99
Internationalisierung industrieller Forschung und Entwicklung
$39.99
Supply Chain Management
$44.99
Posthuman Biopolitics
$109.99
Function Spaces, Differential Operators and Nonlinear Analysis
$49.99
Die Darstellung biologisch aktiver Acridon-Derivate unter Bercksichtigung natrlicher Vorbilder
$54.99
Die Voranzeigen als anthropotechnisches Hilfsmittel bei der Fhrung von Fahrzeugen
$59.99
Leadership in Game of Thrones
$29.99
Why is English Literature?
$54.99
Understanding Families Over Time
$54.99
Integration of Practice-Oriented Knowledge Technology: Trends and Prospectives
$84.99
Institutional Legal Facts
$109.99
Loyalittswirkung des geschenkten bevorzugten Kundenstatus
$69.99
Quantities, Symbols, Units, and Abbreviations in the Life Sciences
$109.99
Automatic Speech Signal Analysis for Clinical Diagnosis and Assessment of Speech Disorders
$54.99
Phonics Bingo: Long & Complex Vowels
$12.74
Heart-felt Books: You're My Little Sweet Pea
$7.49
Basic and Applied Aspects of Biopesticides
$129.00
Higher Education: Handbook of Theory and Research
$169.00
Combinatorial Pattern Matching
$39.99
The Theory of the Knowledge Square: The Fuzzy Rational Foundations of the Knowledge-Production Syste
$109.99
Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning
$39.99
Was Ludwig von Mises a Conventionalist?
$49.99
Atlas of Cryosurgery
$74.99
Between Theory and Observations
$109.99
Statics, Formfinding and Dynamics of Air-Supported Membrane Structures
$329.99
Raumsensible Migrationsforschung
$39.99
Complexity and Nonlinearity in Cardiovascular Signals
$249.99
Video Data Compression for Multimedia Computing
$169.00
Sprache und Embodiment
$17.99
Experience of School Transitions
$84.99
China Business
$39.99
Social Order in Multiagent Systems
$219.99
Gelebte Grenze Gibraltar
$59.99
Antepartale Lungenreifebestimmung durch Fruchtwasseranalyse
$69.99
Interaktionistischer Konstruktivismus
$49.99
Die Beitrge von Faraday und Maxwell zur Elektrodynamik
$64.99
