Logic in computer Science Modelling and Reasoning about Systems
Material type: TextPublication details: New Delhi CAMBRIDGE UNIVERSITY PRESS 2012 Edition: 2 EdDescription: xiii,427pISBN: 9780521670890Subject(s): Computer logic | Logic programming | Computer Science and EngineeringDDC classification: 005.151Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
General Books | Malaviya National Institute of Technology | 005.151 HUT (Browse shelf(Opens below)) | Available | 78649 | |
General Books | Malaviya National Institute of Technology | 004. HUT,E-2 (Browse shelf(Opens below)) | Available | 71684 | |
General Books | Malaviya National Institute of Technology | 004. HUT (Browse shelf(Opens below)) | Available | 78650 | |
General Books | Malaviya National Institute of Technology | 004. HUT (Browse shelf(Opens below)) | Available | 78648 | |
General Books | Malaviya National Institute of Technology | 004. HUT (Browse shelf(Opens below)) | Available | 78647 | |
General Books | Malaviya National Institute of Technology | 004. HUT,E-2 (Browse shelf(Opens below)) | Available | 78646 |
There are no comments on this title.