Logic in Computer Science: Modelling and Reasoning about Systems
Material type: TextPublication details: Cambridge Cambridge Univesity Press 2007Description: xiv, 427 p. ;24 cmISBN:- 9780521670890
- 005.1015 HUT
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 005.1015 HUT (Browse shelf(Opens below)) | Not For Loan | 2841 |
Total holds: 0