DE
FR
"Gary D. Hachtel"
(3 Artikel gefunden)
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
E-Book (pdf)
17.12.2005
CHF
100.90
Download steht sofort bereit
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Gary D. Hachtel, Fabio Somenzi
E-Book (pdf)
15.09.2006
CHF
118.90
Download steht sofort bereit
Logic Minimization Algorithms for VLSI Synthesis
Robert K. Brayton, Gary D. Hachtel, C. McMullen
E-Book (pdf)
06.12.2012
CHF
212.90
Download steht sofort bereit
Unerwartete Verzögerung
Ups, ein Fehler ist aufgetreten. Bitte versuchen Sie es später noch einmal.
