Reihe Frontiers in Electronic TestingShi-Yu Huang × Formal Equivalence Checking and Design Debugging Shi-Yu HuangSpringer USeBook2012181,89 € Formal Equivalence Checking and Design Debugging Shi-Yu HuangSpringer USSoftcover2012192,59 € Formal Equivalence Checking and Design Debugging Shi-Yu HuangSpringer USHardcover1998192,59 €