ISBN 1461376068 books & textbook

Formal Equivalence Checking and Design Debugging (Frontiers in Electronic Testing)

Shi-Yu Huang, Shi-Yu Kwang-Ting (Tim) Cheng

Springer /2012-09-30 Paperback / 247 Pages
isbn-10: 1461376068 / isbn-13: 9781461376064