Treffer: Logic synthesis and verification algorithms

Titel:
Logic synthesis and verification algorithms / by Gary D. Hachtel; Fabio Somenzi
Veröffent­licht:
Boston : Kluwer Acad. Publ., 1996
Umfang:
XXXI, 564 Seiten : Diagramme ; 26 cm
Publikationstyp:
Buch
Sprache:
Englisch
Anmerkungen:
Literaturverzeichnis Seite 537-553
RVK-Notation:
ISBN:
0792397460