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

AvChao Wang,Gary D. Hachtel m. fl.

Inbunden, Engelska, 2006

1 389 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Inbunden, Engelska, 1996

1 249 kr

Skickas inom 10-15 vardagar

Logic Minimization Algorithms for VLSI Synthesis

AvRobert K. Brayton,Gary D. Hachtel m. fl.

Inbunden, Engelska, 1984

2 429 kr

Skickas inom 10-15 vardagar

Logic Minimization Algorithms for VLSI Synthesis

AvRobert K. Brayton,Gary D. Hachtel m. fl.

Häftad, Engelska, 2011

2 429 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi m. fl.

Häftad, Engelska, 2013

1 179 kr

Skickas inom 10-15 vardagar

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtel m. fl.

Häftad, Engelska, 2014

1 549 kr

Skickas inom 10-15 vardagar