000 00645nam a2200193Ia 4500
008 131122s9999 xx 000 0 und d
040 _aISI KOLKATA
041 _aEnglish
082 _a5.3
_bIn61(4)
100 _aPrehn S
110 _aInternational Symposium of VDM Europe( 4th : 1991 : Netherlands )
111 _aInternational Symposium of VDM Europe 4th
_c, Netherlands
_d1991
245 _aVDM '91, formal software development methods : proceedings
_bv 2 : tutorials
260 _aBerlin
_bSpringer Verlag
_c1991
300 _aV 2
440 _aLecture notes in computer science, 552
650 _aSoftware development
942 _cBK
999 _c108660
_d108660