| 000 | 00663 a2200181 4500 | ||
|---|---|---|---|
| 003 | Nust | ||
| 005 | 20220722114228.0 | ||
| 020 | _a978-05-2154310-1 | ||
| 040 | _cNust | ||
| 082 | _a005.1,HUT | ||
| 100 |
_aMichel, Huth _994542 |
||
| 245 |
_aLogic in Computer Science : _bModelling and Reasoning about System / _cMichel Huth |
||
| 250 | _a2nd ed | ||
| 260 |
_aNew York _bCambridge Universty _c2004 |
||
| 300 | _aXIII, 418 | ||
| 505 | _aPropositional Logic (Page-1), Predicate Logic (Page-93), Verification by model Checking (Page-172), Program Verification (Page-256), Model Logic and Agents (Page-304), Binary Decision Diagrams (Page-358), | ||
| 942 |
_cREF _2ddc |
||
| 999 |
_c214824 _d214824 |
||