Logic Synthesis and Verification Algorithms

Algorithms

by Gary D. Hachtel

Paperback

ISBN: 978-0-387-31004-6

ISBN-10: 0-387-31004-5

Springer US · 2006

See also:
2006PaperbackLogic Synthesis and Verification Algorithms
1996HardcoverLogic Synthesis and Verification Algorithms