Author: "HACHTEL, GARY D./ SOMENZI, FABIO
Title: Logic Synthesis and Verfication Algorithms
Description: Spublisher, "1996. Kluwer, Boston, 1996. XXXI, 564 pages with some graphics, hard cover, quart, (former library book) Einband: "gebundene Bücher. 1295

Keywords: "Technik