| 000 | 00745nam a22001937a 4500 | ||
|---|---|---|---|
| 008 | 230316b |||||||| |||| 00| 0 eng d | ||
| 020 | _a0-444-87126-8 | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 519.68(082.2) _bM9 |
||
| 100 |
_aTurner, Kenneth J _93332 |
||
| 245 |
_aFormal description techniques _c/North-Holland, Proceedings of the first international conference on formal description techniques Stirling, Scotland, 6-9 September, 1988 |
||
| 260 |
_aAmsterdam: _bNorth-Holland, _c1989 |
||
| 300 | _axvii, 351p. | ||
| 650 | _aFormal description techniques | ||
| 653 | _aInternational conference | ||
| 653 | _aParameterised expansion | ||
| 700 | _aTurner, Kenneth J (Ed.) | ||
| 942 |
_2udc _cBK |
||
| 999 |
_c9977 _d9977 |
||