| 000 | 00447nam a2200169Ia 4500 | ||
|---|---|---|---|
| 008 | 130318s9999 xx 000 0 und d | ||
| 020 | _aO521670896 | ||
| 082 | _a003.3 HUT/L | ||
| 100 | _aHuth, Michael | ||
| 245 | _aLogic in computer science modelling and reasoning about systems | ||
| 250 | _a2 | ||
| 260 |
_bCambridge University Press _aUK _c2004 |
||
| 300 | _a427 | ||
| 650 | _aCOMPUTER MODELLING | ||
| 650 | _aLOGIC | ||
| 700 | _aRyan, Mark | ||
| 999 |
_c1208 _d1208 |
||