
Fortæl dine venner om denne vare:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition
Chao Wang
Pris
DKK 975
Bestilles fra fjernlager
Forventes klar til forsendelse 14. - 21. aug.
Tilføj til din iMusic ønskeseddel
Eller
Findes også som:
Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition
Chao Wang
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.
179 pages, biography
Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
Udgivet | 20. juli 2006 |
ISBN13 | 9780387341552 |
Forlag | Springer-Verlag New York Inc. |
Antal sider | 179 |
Mål | 155 × 235 × 12 mm · 467 g |