Logic in Computer Science: Modelling and Reasoning about Systems
Material type:
TextPublication details: New Delhi Cambridge University Press 2018Edition: 2/eDescription: xiv, 427pISBN: - 9780521670890
- 005.101 Hut
| Item type | Current library | Collection | Call number | Copy number | Status | Notes | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 1 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1635 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 2 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1636 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 3 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1637 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 4 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1638 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 5 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1639 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 6 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1640 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 7 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1641 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 8 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1642 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 9 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1643 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 10 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1644 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 11 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1645 | |||
|
Books
|
IIT Goa Central Library | Technical | 005.101/Hut (Browse shelf(Opens below)) | 12 | Available | RBPPL72138/18-19|| 31-08-18|| 28.00% | 1646 |
Total holds: 0