Logic Synthesis and Verification Algorithms
by
Gary D. Hachtel
Paperback
details (
USA
).
ISBN: 978-0-387-31004-6
ISBN-10: 0-387-31004-5
Springer US
· 2006
See also:
2006
Paperback
Logic Synthesis and Verification Algorithms
1996
Hardcover
Logic Synthesis and Verification Algorithms