shop by
Category
items
0 

Abstraction Refinement for Large Scale Model Checking (Hardcover)

Author: Wang, Chao

Customer Reviews   Write a Review

Be the first to review this item and earn 25 Rakuten Super Points™

Product Overview

This book summarizes recent research on abstraction techniques for model checking large digital system. Considering 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. The suite of algorithms presented here represents significant improvement over prior art; some have already been adopted by the EDA companies in their commercial/in-house verification tools.

Specifications

Publisher Springer-Verlag New York Inc
Mfg Part# 9780387341552
SKU 202919864
Format Hardcover
ISBN10 0387341552
Release Date 4/10/2007
Product Attributes
Book Format Hardcover
Number of Pages 0179
Publisher Springer
loading
$196.21 + $2.75 shipping
Rakuten Super Points Earn 197 ($1.97) Rakuten Super Points™
What are Rakuten Super Points™?
Get rewarded when you shop! Earn 1 point per dollar spent. That's like getting cash back on every purchase. Easy to see matured points in checkout. Use points just like cash.
Learn More
Get this item for
(price with shipping)
(redeem points)
Format: Hardcover
Condition: Brand New
In Stock. Usually Ships in 1 to 2 business days
Please select an option to buy
Add to Cart

Sold By:  UnbeatableSale
What is a Marketplace and Shop Owner?
  • Our marketplace is a platform where approved third-party retailers (Shop Owners) can sell their products
  • Items are sold and shipped by Shop Owners
  • Your credit card and personal information remain secure; Rakuten.com meets all PCI Security Standards.
  • Purchases can only be returned to the Shop Owner
  • All purchases receive Rakuten Super Points™
ADVERTISEMENT
Promotions & Offers (1)
  •  custom promo
    5% Back* Sitewide with Promo Code Rewardme *See page for details
ADVERTISEMENT
ADVERTISEMENT