| 000 | 00388nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20211227142551.0 | ||
| 008 | 211227b |||||||| |||| 00| 0 eng d | ||
| 020 | _a03029743 | ||
| 040 | _cHU | ||
| 082 | _a005.13 | ||
| 100 |
_aAPPLIED _925458 |
||
| 245 | _aApplied Formal Methods FM-tRENDS 98 | ||
| 260 |
_aNew York _bNew York |
||
| 300 | _f576 | ||
| 942 |
_2ddc _cBOOKS _n0 |
||
| 999 |
_c24377 _d24377 |
||