Logic in computer science modelling and reasoning about systems. Michael Huth
Material type:
TextPublication details: Cambridge UK Cambridge University pressEdition: 2nd EDISBN: - 052154310x
- QA 76.9.L63H88 2004
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | Egerton University Main Library General Collection | QA 76 9 L63H88 2004 (Browse shelf(Opens below)) | Available | EU078718 |
Browsing Egerton University Main Library shelves,Shelving location: General Collection Close shelf browser (Hides shelf browser)
| QA 76 9 K55 Algorithm design | QA 76 9 K64 A cryptography primer, secrets and promises | QA 76 9 L58 2020 Sentiment analysis mining opinions, sentiments, and emotions | QA 76 9 L63H88 2004 Logic in computer science modelling and reasoning about systems. | QA 76 9 L63M36 Digital logic and computer design | QA 76 9 M33H3 Discreet mathematics | QA 76 9 M33V37 Discrete structures Essential computer mathematics |
There are no comments on this title.
Log in to your account to post a comment.