Logic in computer science Modelling and reasoning about systems / by Michael Huth
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
BookPublisher: New Delhi Cambridge University Press 2004Edition: 2nd.Description: 427 ill 25cm.ISBN: 9780521670890.Subject(s): Computer science | Computer logic | Logic programming | CSE-ITDDC classification: 005.1015113
| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library IIIT Vadodara | Central Library IIIT Vadodara | 005.1015113 HUT (Browse shelf) | Available | 000949 |
Total holds: 0
English
There are no comments for this item.