Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation - David L. Dill - Kirjat - MIT Press Ltd - 9780262541572 - maanantai 17. maaliskuuta 2003
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

David L. Dill

Hinta
£ 29,49

Tilattu etävarastosta

Arvioitu toimitus ke - to 6. - 14. elo

Asiakkaamme sanovat:

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

Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits - ACM Distinguished Dissertation

Speed-independent circuits offer a potential solution to the timing problems of VLSI. In this book David Dill develops and implements a theory for practical automatic verification of these control circuits.

181 pages, Ill.

Media Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä maanantai 17. maaliskuuta 2003
ISBN13 9780262541572
Tuottaja MIT Press Ltd
Sivujen määrä 181
Mitta 216 × 279 × 25 mm   ·   430 g
Kieli English  

Katso kaikki joka sisältää David L. Dill ( Esim. Paperback Book )