Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Kirjat - Springer-Verlag New York Inc. - 9780387341552 - torstai 20. heinäkuuta 2006
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Chao Wang

Hinta
zł 492,90

Tilattu etävarastosta

Arvioitu toimitus ma - ke 11. - 20. elo

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
Eller

Löytyy myös muodossa:

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 Kirjat     Hardcover Book   (Sidottu kirja kovilla kansilla sekä suojakannella)
Julkaisupäivämäärä torstai 20. heinäkuuta 2006
ISBN13 9780387341552
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 179
Mitta 155 × 235 × 12 mm   ·   467 g
Näytä kaikki

Lisää tuotteita Chao Wang

Katso kaikki joka sisältää Chao Wang ( Esim. Hardcover Book Ja Paperback Book )