| 000 | 00485nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 171227s2011 xx 000 0 und d | ||
| 020 | _a978-0-521-67080-0 | ||
| 100 | _aHuth, Michael | ||
| 245 |
_aLogic In Computer Science _bModelling and Reasoning about Systems |
||
| 260 |
_aNew Delhi _bCambridge University Press _c2011 |
||
| 300 | _axiv+427 | ||
| 365 | _b595 | ||
| 520 | _aLogic,in,Computer,Science,Logic in Computer Science | ||
| 650 | _aLogic in Computer Science | ||
| 700 | _a Ryan, Mark | ||
| 906 | _a27 | ||
| 999 |
_c137705 _d137705 |
||