| 000 | 00503nam a22001937a 4500 | ||
|---|---|---|---|
| 020 | _a9780521670890 | ||
| 080 |
_a681.3 _bHUTH |
||
| 100 | _aHuth, Michael | ||
| 245 |
_aLogic in Computer Science _bModelling and Reasoning about Systems |
||
| 250 | _a2nd | ||
| 260 |
_aNew York _bCambridge University Press _c2005 |
||
| 300 |
_a427p. _bXIV |
||
| 500 | _aPaperback | ||
| 650 | _aComputer Logic | ||
| 650 | _aReasoning, Modelling | ||
| 690 | _aComputer Science | ||
| 700 | _aRyan, Mark | ||
| 942 | _cBK | ||
| 999 |
_c50316 _d50316 |
||