| 000 | 00581nam a2200157Ia 4500 | ||
|---|---|---|---|
| 020 | _a041273270X | ||
| 082 |
_a302.2 _bFOR |
||
| 245 |
_aFormal description techniques VIII _b:proceedings of the IFIP TC6 eighth international conference on formal description techniques, Montreal, Canada, October 1995 _cedited by Gregor V. Bochmann,Rachida Dssouli and Omar Rafiq |
||
| 260 |
_aLondon: _bChapman & Hall, _c1986. |
||
| 300 | _bxii,452p | ||
| 504 | _aincludes index | ||
| 546 | _aeng | ||
| 650 |
_aComputer Software _9184668 |
||
| 700 |
_aBochmann, Gregor V.(ed) _9184669 |
||
| 942 | _cBK | ||
| 999 |
_c15504 _d15504 |
||