search for books and compare prices
Abstraction Refinement for Large Scale Model Checking
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Hardcover
from Springer-Verlag New York Inc (September 30, 2006)
9780387341552 | details & prices | 179 pages | 6.25 × 9.25 × 0.50 in. | 1.00 lbs | List price $149.00
Paperback
from Springer Verlag (December 6, 2014)
9781489993953 | details & prices | List price $169.00
About: This book summarizes recent research on abstraction techniques for model checking large digital system.
About: This book summarizes recent research on abstraction techniques for model checking large digital system.