000 | 00678nam a2200217Ia 4500 | ||
---|---|---|---|
008 | 131122s9999 xx 000 0 und d | ||
020 | _a3-540-88485-0 | ||
040 | _aISI KOLKATA | ||
041 | _aEnglish | ||
082 |
_a5.13 _bIn61(1) |
||
100 | _aCharlier Baudouin Le | ||
110 | _aInternational Static Analysis Symposium( 1st : 1994 : Belgium ) | ||
111 |
_aInternational Static Analysis Symposium 1st _cBelgium, _d1994 |
||
245 | _aStatic analysis : proceedings | ||
260 |
_aBerlin _bSpringer Verlag _c1994 |
||
300 | _axii,465p | ||
440 | _aLecture notes in computer science, 864 | ||
650 | _aComputer science | ||
650 | _aProgramming languages | ||
942 | _cBK | ||
999 |
_c109086 _d109086 |