| 000 | 00478nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 241217s9999||||xx |||||||||||||| ||und|| | ||
| 020 |
_a9780133669497 _c55.45 |
||
| 040 |
_beng _cSSK Library _erda |
||
| 082 | _a004.21 HIN | ||
| 245 | 0 | _aApplications Of Formal Methods | |
| 260 |
_b Prentice Hall International (Uk) Ltd. _c©1995 |
||
| 700 | _a Michael G. Hinchey & Jonathan P. Bowen - | ||
| 942 |
_2Dewey Decimal Classification _cBOOK _nNo |
||
| 999 |
_c23255 _d23255 |
||
| 003 | OSt | ||
| 005 | 20241217112858.0 | ||