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.139

Bestillingsvarer

Forventes levert 24. sep - 8. okt
Få varsel om nye utgivelser fra Chao Wang

Kundene våre sier:

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

Ikke vurdert ennå

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
Språk Engelsk  

Mer med Chao Wang

Vis alle

Mer fra samme **utgiver**

Se alt med Chao Wang