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

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

Chao Wang

Pris
Ft 42.139

Bestillingsvarer

Forventes levert 11. - 20. aug

Kundene våre sier:

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

Finnes 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

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 )