Image from Amazon.com
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
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Text/Reserve Book
|
LRC, IIT Indore 2nd Floor - Textbook Reserve | Non-fiction | 005.1015113 HUT (Browse shelf(Opens below)) | Not For Loan | 10844 |
Total holds: 0
