| 000 | 00551nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 230324b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.3.06(082.2) _bN3 |
||
| 245 |
_aFormal methods in database and software engineering _c/ Proceedings of the workshop on formal methods in database and software Engineering, Montreal, Canada, 15-16 May, 1992 |
||
| 260 |
_aNew York: _bSpringer-Verlag, _c1993 |
||
| 300 | _a191p. | ||
| 650 | _aComputer | ||
| 653 | _aDatabase | ||
| 942 |
_2udc _cPR |
||
| 999 |
_c14564 _d14564 |
||