| 000 | 00348nam a22001457a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20211223093708.0 | ||
| 008 | 211223b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9064648654 | ||
| 040 | _cHU | ||
| 082 | _a004.3621PAN2004 | ||
| 100 |
_aPang _924492 |
||
| 245 | _aFormal Verification Of Distributed Systems | ||
| 942 |
_2ddc _cBOOKS _n0 |
||
| 999 |
_c23611 _d23611 |
||