Logic in Computer Science : Modelling and reasoning about systems v.I
By: Huth, Michael.
Contributor(s): Ryan, M.
Material type:
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
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.