000 00793nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-15199-0
040 _aISI KOLKATA
041 _aEnglish
082 _a5.3
_bIn61T
100 _aEhrig Hartmut
110 _aInternational Joint Conference on Theory and Practice of Software Development(TAPSOFT)( 1985 : Berlin )
111 _aInternational Joint Conference on Theory and Practice of Software Development(TAPSOFT)
_cBerlin,
_d1985
245 _aMathematical foundations of software development : colloquium on trees in algebra and programming : proceedings
260 _aBerlin
_bSpringer Verlag
_c1985
300 _aV 1
440 _aLecture notes in computer science, 185
650 _aSoftware development
942 _cBK
999 _c107779
_d107779