Logic in Computer Science: Modelling and Resoning about Systems
Material type: TextPublication details: New York Cambridge Univesity Press 2005Edition: 2nd edDescription: xiv, 427p.; 24 cmISBN:- 9780521670896
- 005.1015113 HUT
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Book | LRC, IIT Indore 3rd Floor - General Stack | 005.1015113 HUT (Browse shelf(Opens below)) | Available | 2768 |
Total holds: 0