| 000 | 00505nam a2200193Ia 4500 | ||
|---|---|---|---|
| 001 | 141677 | ||
| 008 | 170722s9999 xx 000 0 und d | ||
| 020 | _a052154310x | ||
| 100 | _aHuth, Michael | ||
| 245 |
_aLogic in computer science _bModelling and reasoning about systems / |
||
| 250 | _a2nd ed. | ||
| 260 |
_bCambridge Univeristy Press , _c2004. |
||
| 300 | _a427 p. | ||
| 653 | _aComputer Science | ||
| 653 | _aEthics | ||
| 700 | _aRyan , Mark | ||
| 923 |
_d20050317 _nRBC-23 |
||
| 942 | _cGEN | ||
| 999 |
_c130983 _d130983 |
||