PakCat catalogue record Logic Synthesis and verification algorithms By Gary D. Hachtel Bibliographic details ISBN9780792397465 PublisherKluwer academic publishers Publication placeBoston Publication year1996 Material typeBook SubjectsLogic Synthesis and verification algorithms