Hoppa till sidans huvudinnehåll

Gary D. Hachtel – författare

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

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Inbunden, Engelska, 2006

1 409 kr

Skickas inom 10-15 vardagar

Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Inbunden

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Inbunden, Engelska, 1996

1 269 kr

Skickas inom 10-15 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

AvRobert K. Brayton,Gary D. Hachtelm. fl.

Inbunden, Engelska, 1984

2 809 kr

Skickas inom 10-15 vardagar

Robert K. Brayton, Gary D. Hachtel, C. McMullen, Alberto L. Sangiovanni-Vincentelli - Logic Minimization Algorithms for VLSI Synthesis, Häftad
Del 2 - Springer International Series in Engineering and Computer Science

Logic Minimization Algorithms for VLSI Synthesis

AvRobert K. Brayton,Gary D. Hachtelm. fl.

Häftad, Engelska, 2011

2 809 kr

Skickas inom 10-15 vardagar

Gary D. Hachtel, Fabio Somenzi - Logic Synthesis and Verification Algorithms, Häftad

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Häftad, Engelska, 2013

1 199 kr

Skickas inom 10-15 vardagar

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

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Häftad, Engelska, 2014

1 579 kr

Skickas inom 10-15 vardagar