Gary D. Hachtel - Böcker

Visar alla böcker från författaren Gary D. Hachtel.
6 produkter
Chao Wang, Gary D. Hachtel, Fabio Somenzi, Gary D Hachtel - Abstraction Refinement for Large Scale Model Checking, Inbunden

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel, Fabio Somenzi, Gary D Hachtel

Inbunden, Engelska, 2006

1 419 kr

Skickas inom 7-10 vardagar
Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Inbunden

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi

Inbunden, Engelska, 1996

1 269 kr

Skickas inom 7-10 vardagar
Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli - Logic Minimization Algorithms for VLSI Synthesis, Inbunden
Del 2 - Springer International Series in Engineering and Computer Science

Logic Minimization Algorithms for VLSI Synthesis

Av Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli

Inbunden, Engelska, 1984

2 519 kr

Skickas inom 7-10 vardagar
Gary D. Hachtel, Fabio Somenzi, Gary D. Hachtel - Logic Synthesis and Verification Algorithms, Häftad

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi, Gary D. Hachtel

Häftad, Engelska, 2013

1 209 kr

Skickas inom 7-10 vardagar
Chao Wang, Gary D. Hachtel, Fabio Somenzi - Abstraction Refinement for Large Scale Model Checking, Häftad

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel, Fabio Somenzi

Häftad, Engelska, 2014

1 589 kr

Skickas inom 7-10 vardagar