| 000 | 00444nam#a2200181ua#4500 | ||
|---|---|---|---|
| 001 | GOACATREC80883 | ||
| 900 | 0 | 0 | _a20020205 |
| 901 | 0 | 0 | _aENG |
| 020 | 0 | 0 | _a3540548343 |
| 245 | 0 | 0 | _aVDM 91 formal software development methods |
| 100 | 0 | 0 | _aPrehn, S |
| 700 | 0 | 0 | _aToetenel, W |
| 440 | 0 | 0 | _aLecture notes in computer science |
| 902 | 0 | 0 | _a005.1 |
| 650 | 0 | 0 | _aSoftware development |
| 903 | 0 | 0 | _a92869 |
| 260 | 0 | 0 |
_aBerlin _bSpringer Verlag _c1991 |
| 999 |
_c80807 _d80807 |
||