000 00438nam a2200181Ia 4500
008 240220s9999 xx 000 0 und d
041 _aENG
082 _a621.395
100 _aMolitor Paul
245 0 _aEquivalence checking of digital circuits fundamentals principles methods
250 _a1ST Ed.
260 _bKiuwer Academic Pub.
260 _c2004
300 _a262p.
365 _b6154.2
650 _aETC
942 _cTEQUIP
999 _c2727
_d2727