Logic In Computer Science : Modeling And Reasoning about System / Michael Huth, Mark Ryan.
Material type: TextPublication details: India: Cambridge , c2016.Edition: 2nd edDescription: xiv, 427p.: 23.5cmISBN:- 9780521670890
- 22 005.1015113 HUT-L 2004 787175
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
Reference | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787174 (Browse shelf(Opens below)) | 1 | Not For Loan (Restricted Access) | 787174 | |||
Books | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787175 (Browse shelf(Opens below)) | 2 | Available | 787175 | |||
Books | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787176 (Browse shelf(Opens below)) | 3 | Available | 787176 | |||
Books | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787178 (Browse shelf(Opens below)) | 4 | In transit from Faculty of CS & IT Library to Faculty of Law Library since 03/08/2022 | 787178 | |||
Books | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787177 (Browse shelf(Opens below)) | 5 | Available | 787177 | |||
Books | Faculty of CS & IT Library Book Cart | Book | 005.1015113 HUT-L 2016 787179 (Browse shelf(Opens below)) | 6 | In transit from Department of Islamic Studies to Faculty of CS & IT Library since 19/01/2023 | 787179 |
Total holds: 0
Index