| 000 | 00528nam a22001817a 4500 | ||
|---|---|---|---|
| 999 |
_c15198 _d15198 |
||
| 008 | 220826b ||||| |||| 00| 0 eng d | ||
| 020 | _a9780521543101 | ||
| 040 | _cSUZA | ||
| 082 |
_222 _a005.1015 HUT _b1 |
||
| 100 | _aHUTH, Michael | ||
| 245 |
_aLogic in Computer Science _bModelling and Reasoning about Systems |
||
| 250 | _a2rd edition | ||
| 260 |
_aUnited Kingdom _bCambridge University Press _c2004 |
||
| 300 |
_axiv,427pp _billustration _c22cm |
||
| 650 | _2Computer Science | ||
| 700 | _aMark Ryan | ||
| 942 |
_2ddc _cBK |
||