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
Browsing LRC, IIT Indore shelves, Shelving location: 2nd Floor - Textbook Reserve, Collection: Non-fiction Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1 SOM Software engineering | 005.1 TAN Structured computer organization | 005.1 TEL.2E Introduction to distributed algorithms [2nd ed.] | 005.1015113 HUT Logic in computer science : modelling and reasoning about systems | 005.11 FEL Semantics engineering with PLT redex | 005.117 BRU Foundations of object-oriented languages : types and semantics | 005.117 GAM Design patterns : elements of reusable object-oriented software |
