Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
BookPublisher: Cambridge [U.K.] ; New York : Cambridge University Press, c2004Edition: 2nd ed.Description: xiv, 427 p. : ill. ; 24 cm.ISBN: 0521670896; 052154310X (pbk.).Subject(s): Computer logic | Logic programming (Computer science)DDC classification: 005.1015113 Online resources: Sample text | Table of contents | Publisher description
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, KUET General Stacks | 005.1015113 HUT (Browse shelf) | 1 | Available | 3010036759 | ||
|
Books
|
Central Library, KUET General Stacks | 005.1015113 HUT (Browse shelf) | 2 | Available | 3010036760 |
Total holds: 0
Browsing Central Library, KUET Shelves , Shelving location: General Stacks Close shelf browser
|
|
|
|
|
|
|
||
| 005.1 SOM Software engineering / | 005.1 SOM Software engineering / | 005.1 STI Building custom software tools and libraries / | 005.1015113 HUT Logic in computer science : | 005.1015113 HUT Logic in computer science : | 005.1068 BRO The mythical man-month : | Anniversary ed. | 005.1068 BRO The mythical man-month : | Anniversary ed. |
Includes bibliographical references and index.
There are no comments for this item.