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
Browsing IIITD shelves, Shelving location: General Stacks, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
005.101 BOS-A The art of readable code: | 005.101 HUT-L Logic in computer science : | 005.101 HUT-L Logic in computer science : | 005.101 HUT-L Logic in computer science : | 005.102 ALT-S The self-taught programmer : | 005.1023 FOW-P The passionate programmer : | 005.1023 HOO-A Apprenticeship Patterns : |
Includes index and bibliographical references.
There are no comments on this title.