Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Bøker - Springer-Verlag New York Inc. - 9780387341552 - 20. juli 2006
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.249

Bestillingsvarer

Forventes levert 12. - 23. des
Julegaver kan byttes frem til 31. januar

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Finnes også som:

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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 20. juli 2006
ISBN13 9780387341552
Utgivere Springer-Verlag New York Inc.
Antall sider 179
Mål 155 × 235 × 12 mm   ·   467 g
Vis alle

Mer med Chao Wang

Se alt med Chao Wang ( f.eks. Innbunden bok og Pocketbok )