| 000 | 00378nam a2200109Ia 4500 | ||
|---|---|---|---|
| 008 | 160523s9999 xx 000 0 und d | ||
| 020 | _a978-0-412-83050-1 | ||
| 100 | _aMizuno, Tàet.al.. Editor | ||
| 245 | _aFormal Description Techniques and Protocol Specification, Testing and Verification Forte X / PSTV XVII ' 97 | ||
| 260 |
_aLondon _bChapman & Hall _c1997 |
||
| 300 | _axi,550p. | ||
| 999 |
_c32558 _d32558 |
||