000 00684nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
040 _aISI KOLKATA
041 _aEnglish
082 _a5.131
_bSy989
100 _aAndrzej Salwicki
110 _aSymposium on Logics of Programs and Their Applications( 1980 : Poland )
111 _aSymposium on Logics of Programs and Their Applications
_c, Poland
_d1980
245 _aLogics of programs and their applications : proceedings
260 _aBerlin
_bSpringer Verlag
_c1983
300 _avi,324p
440 _aLecture notes in computer science, v 148
650 _aComputer science
650 _aProgramming logic
942 _cBK
999 _c107346
_d107346