000 00530nam a2200169Ia 4500
008 160330s9999||||xx |||||||||||||| ||und||
020 _a1402077254
_cE134.95 RS 8866.21
040 _aCentral Library-NITS
041 _aEnglish
100 _aMolitor,paul and Mohnke,janett
245 _aEquivalence Checking of Digital Circuits
_cPaul Molitor and Mohnke, Janett
260 _aBoston
_bKluwer Academic Publishers
_c2004
504 _axiii,262p,24.7cm
521 _bUniversity Book House (p) LTD
650 _aElectronics
942 _cBK
999 _c15115
_d15115