| 000 | 01231cam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 15080110 | ||
| 005 | 20170605105840.0 | ||
| 008 | 071114s2008 enka b 001 0 eng | ||
| 010 | _a 2007941384 | ||
| 015 |
_aGBA771506 _2bnb |
||
| 016 | 7 |
_a013834419 _2Uk |
|
| 020 | _a9781846287695 | ||
| 035 | _a(OCoLC)ocn170042062 | ||
| 040 |
_aUKM _cUKM _dBAKER _dBTCTA _dYDXCP _dC#P _dDLC |
||
| 042 | _alccopycat | ||
| 050 | 0 | 0 |
_aQA76.76.V47 _bB46 2008 |
| 082 | 0 | 4 |
_a005.14 _bBEN-P |
| 100 | 1 | _aBen-Ari, Mordechai | |
| 245 | 1 | 0 |
_aPrinciples of the spin model checker _cMordechai Ben-Ari. |
| 260 |
_aLondon : _bSpringer, _c©2008. |
||
| 300 |
_axv, 216 p. ; _c24 cm. |
||
| 504 | _aIncludes bibliographical references (p. [209]-210) and index. | ||
| 630 | 0 | 0 | _aSPIN (Computer file) |
| 650 | 0 |
_aComputer software _xVerification. |
|
| 856 | 4 | 2 |
_3Publisher description _uhttp://www.loc.gov/catdir/enhancements/fy0825/2007941384-d.html |
| 856 | 4 | 1 |
_3Table of contents only _uhttp://www.loc.gov/catdir/enhancements/fy0825/2007941384-t.html |
| 906 |
_a7 _bcbc _ccopycat _d2 _encip _f20 _gy-gencatlg |
||
| 942 |
_2ddc _cBK |
||
| 999 |
_c10464 _d10464 |
||