Logic Synthesis and Verification Algorithms

Algorithms

by: Gary D. Hachtel · Fabio Somenzi

Hardcover

ISBN: 978-0-7923-9746-5

ISBN-10: 0-7923-9746-0

Springer · 1996

See also:
2006PaperbackLogic Synthesis and Verification Algorithms