Order Total (1 Item Items):
Shipping Destination:
Abstraction Refinement Large Scale by Wang Chao (18 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (18)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (14)
- As New, Fine or Near Fine (3)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (6)
- Not Print on Demand (12)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Published by Springer
ISBN 10: 0470920513 ISBN 13: 9780470920510
Seller: Wonder Book, Frederick, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Good condition. A copy that has been read but remains intact. May contain markings such as bookplates, stamps, limited notes and highlighting, or a few light stains.
-
Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)
Book 3 of 34: Integrated Circuits and SystemsSeller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 96.88
£ 11.98 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Hardcover. Condition: New. ISBN:9780387341552.
-
Abstraction Refinement for Large Scale Model Checking
Book 3 of 34: Integrated Circuits and SystemsLanguage: English
Published by Springer US, Springer New York, 2014
ISBN 10: 1489993959 ISBN 13: 9781489993953
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
-
Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
-
Condition: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
-
International EditionABSTRACTION REFINEMENT FOR LARGE SCALE MODEL CHECKING
Published by SPRINGER, 2006
ISBN 10: 0387341552 ISBN 13: 9780387341552
Hardcover. Condition: New. Brand New ! Fast Delivery "International Edition " and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 4-6 Working days .and we do have flat rate for up to 2LB. Extra shipping charges will be requested This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability.
-
Condition: As New. Unread book in perfect condition.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 104.33
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Abstraction Refinement for Large Scale Model Checking
ISBN 10: 0387341552 ISBN 13: 9780387341552
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
£ 106.20
£ 15 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New.
-
Condition: new. Questo è un articolo print on demand.
-
Abstraction Refinement for Large Scale Model Checking
Book 3 of 34: Integrated Circuits and SystemsLanguage: English
Published by Springer US Dez 2014, 2014
ISBN 10: 1489993959 ISBN 13: 9781489993953
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 196 pp. Englisch.
-
Abstraction Refinement for Large Scale Model Checking
Book 3 of 34: Integrated Circuits and SystemsLanguage: English
Published by Springer-Verlag New York Inc., 2014
ISBN 10: 1489993959 ISBN 13: 9781489993953
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 114.97
£ 13.83 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
-
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
-
Abstraction Refinement for Large Scale Model Checking
Book 3 of 34: Integrated Circuits and SystemsLanguage: English
Published by Springer US, Springer US Dez 2014, 2014
ISBN 10: 1489993959 ISBN 13: 9781489993953
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.
-
Abstraction Refinement for Large Scale Model Checking
Published by Springer US, 2006
ISBN 10: 0387341552 ISBN 13: 9780387341552
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.
