| 000 | 00667nam a2200181Ia 4500 | ||
|---|---|---|---|
| 008 | 140223b2005 xxu||||| |||| 00| 0 eng d | ||
| 020 |
_a9780521670890 _c0.00 |
||
| 082 |
_a005.101 _bHUT |
||
| 100 | _aHuth, Michael | ||
| 245 | _aLogic in Computer Science: Modelling and Reasoning about Systems | ||
| 250 | _a2nd ed | ||
| 260 |
_aNew York _bCambridge University Press _c2005 |
||
| 300 | _a427p | ||
| 600 | _aComputer Application | ||
| 700 | _aRyan, Mark | ||
| 890 | _aUSA | ||
| 995 |
_AHUT _B003065 _CS.B-S.B _D395.00 _E0 _F049 _G3915 _H0 _I0.00 _L20050220 _UC _W20050413 _XGranth Vitaran _ZGeneral |
||
| 999 |
_c69176 _d69176 |
||