| 000 | 00586nam a22001697a 4500 | ||
|---|---|---|---|
| 008 | 230327b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0387197524 | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.3.06(082.2) _bN2 |
||
| 245 |
_a5th Refinement Workshop _c/ Proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 |
||
| 260 |
_aLondon: _bSpringer-Verlag, _c1992 |
||
| 300 | _aviii, 378p. | ||
| 650 | _aInformation technology | ||
| 700 | _aJones, C B (Ed.) | ||
| 700 | _aShaw, Roger C (Ed.) | ||
| 942 |
_2udc _cPR |
||
| 999 |
_c14861 _d14861 |
||