Abstraction Refinement for Large Scale Model Checking - Integrated Circuits and Systems - Chao Wang - Kirjat - Springer-Verlag New York Inc. - 9781489993953 - lauantai 6. joulukuuta 2014
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
€ 110,49

Tilattu etävarastosta

Arvioitu toimitus to - pe 8. - 16. 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     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 6. joulukuuta 2014
ISBN13 9781489993953
Tuottaja Springer-Verlag New York Inc.
Sivujen määrä 179
Mitta 155 × 235 × 11 mm   ·   281 g
Kieli Englanti  

Lisää tuotteita Chao Wang

Näytä kaikki

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