Logic synthesis and verification algorithms

• Κύριοι συγγραφείς: Hatchtel, Gary D. (Συγγραφέας), Somenzi, Fabio (Συγγραφέας)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Boston Kluwer Academic Publishers c1996
• Θέματα: ALGORITHMS; LOGIC SYNTHESIS; ΕΠΕΑΕΚ
• Περιγραφή τεκμηρίου: bibliography:pp.537-553
• Φυσική περιγραφή: xxxi,564p. fig.
• ISBN: 0 7923 9746 0