| 000 | 00480nam a22001817a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20240617154536.0 | ||
| 008 | 240617b |||||||| |||| 00| 0 eng d | ||
| 020 | _a9781846287695 | ||
| 040 | _cMUST | ||
| 082 | _a510 BEN 2008 | ||
| 100 |
_aBen-Ari, Mordechai. _917382 |
||
| 245 |
_aPrinciples of the Spin Model Checker _cMordechai Ben-Ari |
||
| 300 |
_axv,216p. _bill. _c 24cm |
||
| 504 | _areferences and indexes | ||
| 650 | _2mathematics | ||
| 942 |
_2ddc _cO_SHELF |
||
| 999 |
_c8569 _d8569 |
||