Logic in computer science : modelling and reasoning about systems / by Michael Huth and Mark Ryan
By: Huth, Michael [author].
Contributor(s): Ryan, Mark [joint author].
Material type:
TextPublisher: Delhi : Cambridge University Press, 2004Edition: 2nd ed.Description: xiv,427p.: ills.; 24cm.ISBN: 9780521670890.Subject(s): COMPUTER SCIENCEDDC classification: 003.3
| Item type | Current location | Call number | Copy number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Books
|
Central Library Library Annex (Ground Floor) | 003.3 HUT/L (Browse shelf) | 1 | Available | 3577 | 113893 | |
|
Books
|
Central Library Library Annex (Ground Floor) | 003.3 HUT/L (Browse shelf) | 2 | Available | 117134 | ||
|
Books
|
Central Library Library Annex (Ground Floor) | 003.3 HUT/L (Browse shelf) | 3 | Available | 117133 |
Includes bibliographical references and index.
There are no comments for this item.