| 000 | 00416nam a22001697a 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20190522140113.0 | ||
| 008 | 151007t xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781846287695 | ||
| 037 | _c9513.00 PKR | ||
| 040 | _cAUI | ||
| 100 |
_aAri, Mordechai Ben _915217 |
||
| 245 | _aPrinciples of the spin model checker | ||
| 260 |
_aRehovot _bSpringer _c2008 |
||
| 300 | _axv;216 p. | ||
| 942 |
_2ddc _cBK |
||
| 999 |
_c10291 _d10291 |
||