| 000 | 00501nam a22001817a 4500 | ||
|---|---|---|---|
| 999 |
_c827899 _d827899 |
||
| 003 | OSt | ||
| 020 | _a9780521670890 | ||
| 082 | _a681.3 HUT | ||
| 100 | _aHuth Michael | ||
| 245 | _aLogic in Computer Science Modelling and Reasoning about Systems | ||
| 250 | _a2 | ||
| 260 |
_aNew Delhi _bCambridge Universities Press _c2014 |
||
| 300 | _a427 | ||
| 440 | _aLogic in Computer Science Modelling and Reasoning about Systems | ||
| 650 | _aComputer Science | ||
| 700 | _aRyan Mark | ||
| 942 |
_2ddc _cBK |
||