Gary D. Hachtel – författare

Visar alla böcker från författaren Gary D. Hachtel.

6 produkter

1. 

   Abstraction Refinement for Large Scale Model Checking

   Av Chao Wang, Gary D. Hachtel m. fl.

   Inbunden, 2006

   1419 kr

   Lägg i varukorg

2. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Inbunden, 1996

   1289 kr

   Lägg i varukorg

3. 

   Logic Minimization Algorithms for VLSI Synthesis

   Av Robert K. Brayton, Gary D. Hachtel m. fl.

   Inbunden, 1984

   2839 kr

   Lägg i varukorg

4. 

   Logic Minimization Algorithms for VLSI Synthesis

   Av Robert K. Brayton, Gary D. Hachtel m. fl.

   Häftad, 2011

   2849 kr

   Lägg i varukorg

5. 

   Logic Synthesis and Verification Algorithms

   Av Gary D. Hachtel, Fabio Somenzi

   Häftad, 2013

   1219 kr

   Lägg i varukorg

6. 

   Abstraction Refinement for Large Scale Model Checking

   Av Chao Wang, Gary D. Hachtel m. fl.

   Häftad, 2014

   1599 kr

   Lägg i varukorg