Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9780521670890
- 004 HUT-M
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
![]() |
BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11616 | ||
![]() |
BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11617 | ||
![]() |
BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11618 | ||
![]() |
BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11619 | ||
![]() |
BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 8497 |
Total holds: 0
There are no comments on this title.