| 000 | 00698nam a2200217Ia 4500 | ||
|---|---|---|---|
| 003 | OSt | ||
| 005 | 20250923090423.0 | ||
| 008 | 240531s9999 xx 000 0 und d | ||
| 020 | _a978 0 521 54310 1 | ||
| 040 | _aKenya National Library Services | ||
| 082 | _a005.1015113HUT | ||
| 100 | _aHuth, Michael | ||
| 245 | 0 |
_aLogic in computer science : _b modelling and reasoning about systems / _cMichael Huth |
|
| 250 | _aSecond Edition. | ||
| 300 |
_axiii, 427 pages : _billustrations, _c25 cm. |
||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aCOMPUTER LOGIC | ||
| 700 | _aMark Ryan | ||
| 942 |
_cANF _2ddc |
||
| 999 |
_c358337 _d358337 |
||