Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan
Material type: TextLanguage: ENG Publication details: India Cambridge University Press 2000Edition: 2nd edDescription: 387 pISBN:- 9780521670890
- 004 HUT-M
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Text Book | BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11616 | ||
Text Book | BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11617 | ||
Text Book | BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11618 | ||
Text Book | BITS Pilani Hyderabad | 003-007 | Text & Reference Section (Student cannot borrow these books) | 004 HUT-M (Browse shelf(Opens below)) | Available | 11619 | ||
Text Book | 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.