Logic in Computer Science : Modelling and reasoning about systems v.I
By: Huth, Michael.
Contributor(s): Ryan, M.
Material type:
BookPublisher: Cambridge Cambridge University Press 2005Edition: 2nd.Description: 427p.ISBN: 9780521670890.Subject(s): Logic-Computer | Computer ScienceDDC classification: 519.67
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
Catalogued | 519.67 HUT-L (Browse shelf) | Available | 25185 |
Browsing IASRI Library Shelves , Shelving location: Catalogued Close shelf browser
| No cover image available | ||||||||
| 519.67 BRA-T Theory of computation | 519,67 CAE-P Principles of computation | 519.67 CAL-M Mathematics for computer technology | 519.67 HUT-L Logic in Computer Science : Modelling and reasoning about systems v.I | 519.67 KUL-C Computer arithmetic in theory and practice | 519.67 KUL-C Computer arithmetic in theory and practice | 519.67 LAN-H Handbook of statistical analysis using SPSS |
There are no comments for this item.