| 000 | 00456nam a2200157Ia 4500 | ||
|---|---|---|---|
| 008 | 171227s2011 xx 000 0 und d | ||
| 020 | _a978-0-521-67089-0 | ||
| 100 | _aHutch, Michael | ||
| 245 |
_aLogic In Computer Science _bModelling and Reasoning about Systems |
||
| 260 |
_aNew Delhi _bCambridge University Press _c2011 |
||
| 300 | _a427 | ||
| 365 | _b495 | ||
| 520 | _aLogic,in,Computer,Science,Logic Design | ||
| 650 | _aLogic Design | ||
| 700 | _a Ryan, Mark | ||
| 906 | _a28 | ||
| 999 |
_c137327 _d137327 |
||