Logic in Computer Science: Modelling and Reasoning about Systems
Material type:
TextPublication details: Cambridge Cambridge University Press 2004Description: xiv, 427 p. ; 24 cmISBN: - 9780521670890
- 005.1015113 HUT
Book
| Item type | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|
|
Book
|
LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 10849 |
Total holds: 0
Browsing LRC, IIT Indore shelves, Shelving location: 3rd Floor - General Stack Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems | 005.1015113 HUT Logic in Computer Science: Modelling and Reasoning about Systems |
