Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type:
TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: - 0521670896
- 005.1/01/5113 22
- QA76.9.L63 H88 2004
Reviews from LibraryThing.com:
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Main Long
|
Martin Oduor-Otieno Library This item is located on the library Second Floor | Non-fiction | QA76.9.L63 H88 2004 (Browse shelf(Opens below)) | 13801/08 | Available | Z00008132 | ||
|
Main Long
|
Martin Oduor-Otieno Library This item is located on the library Second Floor | Non-fiction | QA76.9.L63 H88 2004 (Browse shelf(Opens below)) | 14124/08 | Available | Z00008508 |
Browsing Martin Oduor-Otieno Library shelves, Shelving location: This item is located on the library Second Floor, Collection: Non-fiction Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| QA76.9 .I52 K532 2019 Data visualisation : a handbook for data driven design / | QA76.9 .I52 K532 2019 Data visualisation : a handbook for data driven design / | QA76.9.L63 H88 2004 Logic in computer science : | QA76.9.L63 H88 2004 Logic in computer science : | QA76.9 .M3 V54 2004 Microsoft office Access 2003 inside out / | QA76.9.M35 J46 2012 Fundamentals of discrete math for computer science : | QA76.9.M35 K64 1999 Discrete mathematical structures / |
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.
Log in to your account to post a comment.