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 |