| 000 | 00686nam a2200253Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s1995##################000#0#eng## | ||
| 020 | _a9780412644504 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a004.62 HOG | ||
| 245 |
_aFormal description techniques VII _cHogrefe, Dieter. Ed. Leue, Stefan. Ed |
||
| 250 | _a1st ed | ||
| 260 |
_aLondon _bChapman & Hall _c1995 |
||
| 300 | _ax,520p | ||
| 500 | _aincludes index | ||
| 650 | _aformal description techniques | ||
| 650 | _aFORTE | ||
| 650 | _aIFIP | ||
| 650 | _ainformation processing | ||
| 700 | _aHogrefe, Dieter | ||
| 700 | _aLeue, Stefan | ||
| 990 | _a01096620ac10000c3bbe30001e4d460f | ||
| 991 | _a16297 | ||
| 999 |
_c186947 _d186947 |
||