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 | Barcode | |
|---|---|---|---|---|---|---|
Books
|
IPEC Library General Stacks | Computer Science Engineering | HUT (Browse shelf(Opens below)) | Available | 128493 |
There are no comments on this title.
Log in to your account to post a comment.