| 000 | 00787nam a2200217Ia 4500 | ||
|---|---|---|---|
| 999 |
_c16460 _d16460 |
||
| 005 | 20201208114139.0 | ||
| 008 | 180712s9999 xx 000 0 und d | ||
| 020 | _a412644509 | ||
| 041 | _aEN | ||
| 082 |
_a004.62 _bINT _223 |
||
| 111 |
_9109352 _a International Conference on Formal Description Techniques (7th: Montreal: Canada) |
||
| 245 |
_aFormal description techniques, VII _c/ Montreal, 1995; edited by Dieter Hogrefe, Stefan Leue _b: proceedings of the 7th IFIP WG 6.1 International Conference on Formal Description Techniques |
||
| 260 |
_aLondon _bChapman & hall _c1995 |
||
| 300 | _ax, 520 p. | ||
| 500 | _aincludes index | ||
| 509 | _aNS | ||
| 650 | _aFormal languages | ||
| 700 |
_999926 _aHogrefe, Dieter.ed. _eedt |
||
| 700 |
_999927 _aLeue, Stefan. ed. |
||
| 942 | _cS | ||