Hoppa till sidans huvudinnehåll

Gary D. Hachtel - Böcker

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

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel m. fl

Inbunden, Engelska, 2006

1 399 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi

Inbunden, Engelska, 1996

1 259 kr

Skickas inom 10-15 vardagar

Logic Minimization Algorithms for VLSI Synthesis

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

Inbunden, Engelska, 1984

2 459 kr

Skickas inom 10-15 vardagar

Logic Minimization Algorithms for VLSI Synthesis

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

Häftad, Engelska, 2011

2 459 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

Av Gary D. Hachtel, Fabio Somenzi m. fl

Häftad, Engelska, 2013

1 189 kr

Skickas inom 10-15 vardagar

Abstraction Refinement for Large Scale Model Checking

Av Chao Wang, Gary D. Hachtel m. fl

Häftad, Engelska, 2014

1 569 kr

Skickas inom 10-15 vardagar