Kirjat Gary D. Hachtel
Logic Minimization Algorithms for VLSI Synthesis
Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, C. McMullen, Gary D. Hachtel
-25% koodilla BOOKS
Toimittajalla varastossa
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa
Logic Minimization Algorithms for VLSI Synthesis
Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, C. McMullen, Gary D. Hachtel
-25% koodilla BOOKS
Toimittajalla varastossa
Abstraction Refinement for Large Scale Model Checking
Chao Wang, Fabio Somenzi, Gary D. Hachtel
-25% koodilla BOOKS
Toimittajalla varastossa
Abstraction Refinement for Large Scale Model Checking
Gary D Hachtel, Chao Wang, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa
Logic Synthesis and Verification Algorithms
Gary D. Hachtel, Fabio Somenzi
-25% koodilla BOOKS
Toimittajalla varastossa