Logic in computer science : modelling and reasoning about systems by Michael Huth and Mark Ryan
Publication details: UK Cambridge university press 2010 Description: 427pSubject(s): Computer Science | Computer logic | Logic programmingDDC classification: 005.1015113| Item type | Current library | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Central University Of Rajasthan | General Text Book | 005.1015113 H97L (Browse shelf(Opens below)) | Available | 23275 | |
|
Books
|
Central University Of Rajasthan | General Text Book | 005.1015113 H97L (Browse shelf(Opens below)) | Available | 23276 | |
|
Books
|
Central University Of Rajasthan | General Text Book | 005.1015113 H97L (Browse shelf(Opens below)) | Available | 7613 |
Browsing Central University Of Rajasthan shelves, Collection: General Text Book Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| 005.1 Y90B Building blockchain apps | 005.1 Y90B Building blockchain apps | 005.1 Y90B Building blockchain apps | 005.1015113 H97L Logic in computer science : modelling and reasoning about systems | 005.1015113 OZ1R Representation theorems in computer science : a treatment in logic engineering | 005.1033 B53N Natural language processing with python | 005.1068 H39S Software project management |
There are no comments on this title.