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 |
Browsing Central Library Shelves , Shelving location: Library Annex (Ground Floor) Close shelf browser
| 003.3 HAR/P Performance modeling and design of computer systems : | 003.3 HUT/L Logic in computer science : | 003.3 HUT/L Logic in computer science : | 003.3 HUT/L Logic in computer science : | 003.3 JAI/M Modeling and simulation using MATLAB-Simulink / | 003.54 DES/N Noiseless steganography : the key to covert communications / | 003.54072 MAT/B Basic concepts in information theory and statistics : axiomatic foundations and applications / |
Includes bibliographical references and index.
There are no comments for this item.