| 000 | 00742nam a2200229Ia 4500 | ||
|---|---|---|---|
| 008 | 070625s2004||||xx |||||||||||||| ||eng|| | ||
| 020 | _a0521670896 | ||
| 022 | _l0-521-67089-6 | ||
| 041 | _aeng | ||
| 082 |
_a005.05113 _bHUT |
||
| 100 |
_aHuth, Michael _eAU _9144423 |
||
| 245 | 0 | _aLogic in Computer Science Modelling and Reasoning About Systems | |
| 250 | _a2nd | ||
| 260 |
_aCambridge : _bCambridge University Press, _cc2004 |
||
| 300 |
_aXIV, 427 p. _b: ill |
||
| 504 | _aYY | ||
| 650 | _aComputer Logic | ||
| 650 |
_aLogic Programming Computer Science _9144424 |
||
| 700 |
_aRyan, Mark _eAU _9144425 |
||
| 856 |
_yTable of Contents _uhttps://eaklibrary.neduet.edu.pk:8443/catalog/bk/books/toc/0-521-67089-6.pdf |
||
| 942 |
_cBOO _o51 _pAbul Kalam Library |
||
| 999 |
_c365072 _d365072 |
||