Logic in computer science : modelling and reasoning about systems
Material type:
TextPublication details: Cambridge Cambridge Univesity Press 2007Description: xiv, 427p. ; 24cmISBN: - 9780521670890
- 005.1015113 HUT
Book
| Item type | Home library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Reference Books
|
LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 005.1015113 HUT (Browse shelf(Opens below)) | Not For Loan | 2841 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10506 | ||
Text/Reserve Book
|
LRC, IIT Indore 2nd Floor - Textbook Reserve | Non-fiction | 005.1015113 HUT (Browse shelf(Opens below)) | Not For Loan | 10844 | |
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10845 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10846 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10847 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10848 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10849 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10850 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10851 | ||
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10852 |
Total holds: 0
