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 |