| 000 | 00496nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 151218s9999 xx 000 0 und d | ||
| 020 |
_a9780260032704 _c |
||
| 040 |
_aCLIITBBS _cCLIITBBS _dCLIITBBS |
||
| 082 | 0 | 0 |
_a004.21 _222 _bCLA/M |
| 100 |
_aClarke, E. M. _97243 |
||
| 245 | 1 | 0 |
_aModel Checking / _b _cby E. M. Clarke. |
| 260 |
_aCambridge, Mass. : _bMIT Press, _c1999. |
||
| 300 | _axiv, 314 p. : ill. ; | ||
| 504 | _aInclude Index | ||
| 650 |
_aModel Checking _97244 |
||
| 942 |
_2ddc _cTRB _03 |
||
| 999 |
_c6460 _d6460 |
||