Logic in computer science : modelling and reasoning about systems
Material type: TextPublication details: New Delhi : Cambridge University Press, ©2004Edition: 2nd edDescription: xiv, 427 p. ; 24cmISBN:- 090899161746
- 005.101 HUT-L
Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | IIITD General Stacks | Computer Science and Engineering | 005.101 HUT-L (Browse shelf(Opens below)) | Available | Gifted by Daksh Shah | G01696 |
Total holds: 0
Includes index and bibliographical references.
There are no comments on this title.