| 000 | 00592nam a22002057a 4500 | ||
|---|---|---|---|
| 999 |
_c21432 _d21432 |
||
| 003 | OSt | ||
| 005 | 20210617105235.0 | ||
| 008 | 170127b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a0521652006 | ||
| 040 |
_aMMU _beng _cMMU _dMMU |
||
| 050 | _aQA76.9.L63H88 1999 | ||
| 100 | _aHuth Michael | ||
| 245 |
_aLogic in computer science modelling and reasoning about system/ _cMichael Huth |
||
| 260 |
_aNewYork: _bHuth ,Ryan _c1999. |
||
| 300 | _axvii,387 p. : | ||
| 500 | _aIncludes bibliographical references and index | ||
| 650 | _aComputer | ||
| 700 | _aMark Ryan | ||
| 942 |
_2lcc _cLOAN LOAN |
||