Logic In Computer Science: Modelling And Reasoning About Systems
Material type: TextPublication details: NEW DELHI; CAMBRIDGE UNIVERSITY PRESS; 2012Edition: IIDescription: xiv,427Subject(s): DDC classification:- HUT
Item type | Current library | Collection | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Reference | IPEC Library General Stacks | CSE M.Tech | HUT (Browse shelf(Opens below)) | Available | 128489 |
There are no comments on this title.