| 000 | 00370nam a2200145Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _a9780321228628 | ||
| 082 | _a005.14 HOL/S | ||
| 100 | _aHolzmann, Gerard J | ||
| 245 | _aSpin model checker | ||
| 260 |
_bAddison Wesley _aBoston _c2003 |
||
| 300 | _a396 | ||
| 650 | _aSOFTWARE RELIABILITY | ||
| 650 | _aSOFTWARE TESTING | ||
| 999 |
_c1323 _d1323 |
||