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. Hachtelm. fl.

Inbunden, Engelska, 2006

1 379 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

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 729 kr

Skickas inom 10-15 vardagar

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 729 kr

Skickas inom 10-15 vardagar

Logic Synthesis and Verification Algorithms

AvGary D. Hachtel,Fabio Somenzi

Häftad, Engelska, 2013

1 179 kr

Skickas inom 10-15 vardagar

Abstraction Refinement for Large Scale Model Checking

AvChao Wang,Gary D. Hachtelm. fl.

Häftad, Engelska, 2014

1 549 kr

Skickas inom 10-15 vardagar