Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
New
From
Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since April 17, 2013
This specific item is no longer available.
About this Item
Description:
This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-272926
Bibliographic Details
Title: Abstraction Refinement For Large Scale Model...
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
New
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Excellent Customer Service. Seller Inventory # ABEOCT25-82556
Stock Image
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
New
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-404
Stock Image
Abstraction Refinement For Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
New
Seller: SMASS Sellers, IRVING, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Seller Inventory # ASNT3-404
Seller Image
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
Used
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4389185
Seller Image
Abstraction Refinement for Large Scale Model Checking
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Proposes fully automatic techniques for improving the performance of abstraction refinementThe algorithms in this book demonstrate significant improvement over prior techniquesThis book summarizes recent research on abstraction techniqu. Seller Inventory # 458429317
Buy New
US$ 140.76
Shipping:
US$ 56.43
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
Used
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 4389185
Buy Used
US$ 145.85
Shipping:
US$ 19.70
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
New
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4389185-n
Buy New
US$ 156.37
Shipping:
US$ 19.70
From United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Abstraction Refinement for Large Scale Model Checking
Print on DemandSeller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 1030. Seller Inventory # C9780387341552
Buy New
US$ 156.38
Shipping:
US$ 27.65
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552
ISBN 13: 9780387341552
New
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 4389185-n
Seller Image
Abstraction Refinement for Large Scale Model Checking
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. Neuware - Abstraction Refinement for Large 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. Seller Inventory # 9780387341552