| 000 | 01120 a2200265 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20220722113732.0 | ||
| 010 | _a 2004045921 | ||
| 020 | _a052154310X (pbk.) | ||
| 040 | _cNust | ||
| 082 | 0 | 0 | _a005.1,HUT |
| 100 | 1 |
_aHuth, Michael, _994536 |
|
| 245 | 1 | 0 |
_aLogic in computer science : _bmodelling and reasoning about systems / _cMichael Huth, Mark Ryan. |
| 250 | _a2nd ed. | ||
| 260 |
_aCambridge [U.K.] ; _aNew York : _bCambridge University Press, _c2004. |
||
| 300 |
_axiv, 427 p. : _bill. ; _c25 cm. |
||
| 505 | _aPropositional Logic (Pag-1), Predicate Logic (Page-91), Verification by Model Checking (Page-172), Program Verification (Page-254), Model Logic and Agents (Page-304), | ||
| 650 | 0 |
_aComputer logic. _994537 |
|
| 650 | 0 |
_aLogic programming. _955697 |
|
| 700 | 1 |
_aRyan, Mark, _d1962- _994538 |
|
| 856 | 4 | 1 |
_3Publisher description _uhttp://www.loc.gov/catdir/description/cam041/2004045921.html |
| 856 | 4 | 1 |
_3Sample text _uhttp://www.loc.gov/catdir/samples/cam041/2004045921.html |
| 856 | 4 | 1 |
_3Table of contents _uhttp://www.loc.gov/catdir/toc/cam041/2004045921.html |
| 942 |
_cREF _2ddc |
||
| 999 |
_c211207 _d211207 |
||