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

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

Hinta
€ 114,99

Tilattu etävarastosta

Arvioitu toimitus pe - ti 9. - 20. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

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

Löytyy myös muodossa:

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

Lisää tuotteita Chao Wang

Näytä kaikki

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