| 000 | 00578nam a22001697a 4500 | ||
|---|---|---|---|
| 008 | 230425b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_a519.6(082.2) _bN5 |
||
| 245 |
_aInformation systems correctness and reusability: _bSelected papers from the is-core workshop Amsterdam, 26-30 September, 1994 |
||
| 260 |
_aLondon: _bWorld Scientific, _c1995 |
||
| 300 | _a291p. | ||
| 650 | _aInformation | ||
| 653 | _aAlgebraic | ||
| 700 | 1 | 0 | _aWieringa, R J (Ed.) |
| 700 | 1 | 0 | _aFeenstra, R B (Ed.) |
| 942 |
_2udc _cBK |
||
| 999 |
_c22930 _d22930 |
||