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

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

Chao Wang

Hinta
₺ 5.225

Tilattu etävarastosta

Arvioitu toimitus pe - ma 8. - 18. 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     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 English  
Näytä kaikki

Lisää tuotteita Chao Wang

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