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:
Buy Abstraction Refinement for Scale Model Checking for $84.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
|
|
$84.99 | $84.99 |
|
$84.99 | 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
Logic and Its Applications
$54.99
Leishmania
$199.99
Glaucoma Surgery
$119.99
Der Felsbau, Band 2, Teil B
$79.99
Acoustic-Based Applications for Vertebrate Vocalization
$64.99
Beginning Ada Programming
$54.99
Pathological Neurochemistry
$84.99
Economic Policy and Sustainable Land Use
$109.99
Phytoplankton responses to human impacts at different scales
$129.00
Moore on Right and Wrong
$109.99
Major Companies of the Arab World 1992/93
$129.00
Arbeitsperspektiven angewandter Sozialwissenschaft
$69.99
Ventrikulre Herzrhythmusstrungen
$69.99
Results and Trends in Theoretical Computer Science
$39.99
Die Anaphylaxie
$59.99
Lasers in Dermatology and Medicine
$249.00
Recent Advances in Information Systems and Technologies
$219.99
Lectures on Celestial Mechanics
$59.99
Man-Machine-Environment System Engineering
$149.00
Women Representatives in Britain, France, and the United States
$39.99
European Traditions in Didactics of Mathematics
$59.99
Hyperparathyroidism
$54.99
The Formulation of Matrix Mechanics and Its Modifications 19251926
$219.99
Locating India in the Contemporary International Legal Order
$89.00
Presidential Power Meets the Art of the Deal
$59.99
Artificial Intelligence in Dentistry
$129.00
Ostracodology - Linking Bio- and Geosciences
$219.99
Capitalism Without Capital
$109.99
Solar-Energy-Mediated Methane Conversion Over Nanometal and Semiconductor Catalysts
$109.99
Heat Pump Controls to Exploit the Energy Flexibility of Building Thermal Loads
$169.99
Participatory Governance in the EU
$54.99
I Survived the Great Molasses Flood, 1919 (#19)
$4.49
Feeling Together and Caring with One Another
$54.99
Unifying Theories of Programming
$54.99
Robust Bayesian Analysis
$109.99
Reversible Protein Phosphorylation in Cell Regulation
$169.00
Bericht ber die Einundfnfzigste Zusammenkunft der Deutschen Ophthalmologischen Gesellschaft
$59.99
A Post-Exotic Anthropology of Soqotra, Volume I
$99.00
Formal Methods in Architecture
$169.99
Harmonic Analysis of Spherical Functions on Real Reductive Groups
$89.00
