000 00651nam a2200253Ia 4500
008 141108s9999 xx 000 0 und d
020 _a0-534-13014-3
041 _aEnglish
082 _a005.1 JIF
100 _aJIFENG
245 _aPROVABLY CORRECT SYSTEMS: MODELLING OF COMMUNICATION LANGUAGE & DESIGN OF OPTIMIZED COMPILERS
250 _a1
260 _bMCGRAW HILL
_c1994
300 _b0
_fPaper
365 _b1100.00
_dRupees
366 _ePURCHASE
500 _a690
541 _aSANTHAM INFOMEDIA
_d16-09-1999
_cSupplier
563 _aHard Binding
590 _aUG
652 _aNil
852 _aCENTRAL LIBRARY
942 _cBK
999 _c46165
_d46165