Logic in Computer Science : modeling and reasoning about systems
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
BookPublisher: Cambridge: Cambridge University Press, 2004Description: xiv, 427 p.; ill.: 25 cm.ISBN: 052154310X .Subject(s): Computer logic | Logic programming | Logic | Deduction | Binary Decision DiagramsDDC classification: 005.1015113
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 005.1015113 HUT (Browse shelf) | Available | 011197 |
Browsing DAIICT Shelves Close shelf browser
| 005.101 BOS Art of readable code | 005.101 LOV Elementary logic : for software developers | 005.1015113 HSU Computer Logic : design principles and applications | 005.1015113 HUT Logic in Computer Science : modeling and reasoning about systems | 005.1015113 LEA Friendly Introduction to Mathematical Logic | 005.1015113 NER Logic For Applications | 005.1015113 PAG Essential logic for computer science |
There are no comments for this item.