| 000 | 00480nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 230718s9999 xx 000 0 und d | ||
| 041 | _aeng | ||
| 082 |
_a005.105113 _bHUT |
||
| 100 |
_aHuth M. _9175108 |
||
| 245 |
_aLogic In Computer Science _bModelling And Reasoning About Systems |
||
| 260 |
_c2010 _bCambridge University Press |
||
| 300 | _a427 | ||
| 365 |
_cRs. _b495.00 |
||
| 700 |
_aHuth M. & Ryan M. _9191714 |
||
| 906 |
_dO:0138015-Dec-2010B:301030-Oct-2010 _cCOMP _b123.75 |
||
| 999 |
_c326594 _d326594 |
||