| 000 | 01069nam a2200253 a 4500 | ||
|---|---|---|---|
| 001 | 0321228626 | ||
| 008 | 100308s2004 xxua b 001 0 eng d | ||
| 010 | _a2003057704 | ||
| 020 | _a0321228626 (hardback) | ||
| 020 | _a9780321228628 | ||
| 040 |
_aDLC _cDLC _dStSaUL _dBD-DhAAL |
||
| 082 | 0 | 0 |
_a620/.001/171 _222 |
| 100 | 1 |
_aHolzmann, Gerald J., _d1951- |
|
| 245 | 1 | 0 |
_aThe spin model checker : _bprimer and reference manual / _cGerald J. Holzmann |
| 260 |
_aBoston, MA : _bAddison-Wesley, _cc2004. |
||
| 300 |
_axii, 596 p. : _bill. ; _c25 cm. |
||
| 504 | _aIncludes bibliographical references and index. | ||
| 650 | 0 |
_aSystems engineering _xMathematical models. |
|
| 650 | 0 |
_aComputer programs _xTesting. |
|
| 999 |
_c7723 _d7723 |
||
| 952 |
_p3010019916 _40 _00 _bBRACUL _10 _o620/.001/171 HOL 2004 _d2010-03-08 _t1 _70 _cGEN _2ddc _yBK _aBRACUL |
||
| 952 |
_p3010019917 _40 _00 _bBRACUL _10 _o620/.001/171 HOL 2004 _d2010-03-08 _t2 _70 _cGEN _2ddc _yBK _aBRACUL |
||