Logic in computer science : modelling and reasoning about systems [2nd ed.]
Material type:
TextPublication details: New York Cambridge Univesity Press 2005Edition: 2nd edDescription: xiv, 427p. ; 24cmISBN: - 9780521670896
- 005.1015113 HUT.2E
Book
| Item type | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT.2E (Browse shelf(Opens below)) | Available | 2765 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT.2E (Browse shelf(Opens below)) | Available | 2766 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT.2E (Browse shelf(Opens below)) | Available | 2767 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT.2E (Browse shelf(Opens below)) | Available | 2768 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT.2E (Browse shelf(Opens below)) | Available | 2769 |
Total holds: 0
