Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Bøger - Springer-Verlag New York Inc. - 9781489993953 - 6. december 2014
Ved uoverensstemmelse mellem cover og titel gælder titel

Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

Chao Wang

Pris
DKK 938

Bestilles fra fjernlager

Forventes klar til forsendelse 6. - 12. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Findes også som:

Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems 2006 edition

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     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 6. december 2014
ISBN13 9781489993953
Forlag Springer-Verlag New York Inc.
Antal sider 179
Mål 155 × 235 × 11 mm   ·   281 g
Sprog Engelsk  
Vis alle

Mere med Chao Wang

Se alt med Chao Wang ( f.eks. Hardcover bog og Paperback Bog )