Logic in Computers Science : Modelling And Reasoning About Systems
Material type:
TextLanguage: English Publication details: Cambridge Cambridge University Press 2004Edition: 2ndDescription: 427ISBN: - 9780521670890
- 005.1015113Â SRI/O
| Item type | Current library | Collection | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07505 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07301 | |
Books
|
Indian Institute of Technology Tirupati General Stacks | Computer Science | 005.1015113 HUT/L (Browse shelf(Opens below)) | Available | 07302 | |
Reference
|
Indian Institute of Technology Tirupati Reference | Computer Science | REF 005.1015113 HutL2 (Browse shelf(Opens below)) | Not for loan | 07303 |
There are no comments on this title.
Log in to your account to post a comment.