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