ISBN 1461361567 books & textbook
Timed Boolean Functions: A Unified Formalism for Exact Timing Analysis (The Springer International Series in Engineering and Computer Science)
Lam, William K.C. K. C. Brayton, Robert K.
Springer /2012-10-06 Paperback / 294 Pages
isbn-10: 1461361567 / isbn-13: 9781461361565
