000 | 00638nam a22001697a 4500 | ||
---|---|---|---|
008 | 230327b |||||||| |||| 00| 0 eng d | ||
020 | _a3-540-19842-3 | ||
040 |
_aNational Science Library _cNational Science Library |
||
080 |
_aD 681.3.068(082.2) _bN3 |
||
245 |
_aTheory and formal methods 1993 _c/ Proceedings of the first Imperial College Department of Computing workshop on theory and formal methods ......................29-31 March 1993 |
||
260 |
_aLondon: _bSpringer-Verlag, _c1993 |
||
300 | _aviii, 325p. | ||
650 | _aProceedings | ||
700 | _aBurn, Geoffrey (Ed.) | ||
700 | _aRyan, Mark (Ed.) | ||
942 |
_2udc _cPR |
||
999 |
_c15330 _d15330 |