000 00782nam a2200205Ia 4500
008 131122s9999 xx 000 0 und d
020 _a3-540-61463-X
040 _aISI KOLKATA
041 _aEnglish
082 _a5.1
_bIn61
100 _aWirsing Martin ed.
110 _aInternational Conference on Algebraic Methodology and Software technology, AMAST'96 (5th : 1-5 July 1996 : Munich,Germany)
111 _aInternational conference on algebraic methodology and software technology, AMAST'96
_cMunich, Germany
_d1-5 July 1996
245 _aAlgebraic methodology and software technology
_bproceedings
260 _aBerlin
_bSpringer-Verlag
_c1996
300 _axii,640p.
440 _aLecture notes in computer science; 1101
650 _aSoftware technology
942 _cBK
999 _c109375
_d109375