000 00462nam a2200193Ia 4500
020 _a81-297-0537-0
041 _aEnglish
082 _a621.392 PAL
100 _aPALNITKAR
245 _aDESIGN VERIFICATION WITH E
260 _bPEARSON
_c2004
300 _fPaper
365 _b250.00
_dRupees
366 _ePURCHASE
541 _aNATIONAL BOOK TRADERS
_d06-10-2004
_cSupplier
652 _aPROGRAMMING LANGUAGE
852 _aCENTRAL LIBRARY
942 _cBK
999 _c10660
_d10660