Logic in Computer Science Modelling and Reasoning about Systems
By: HUTH, Michael.
Contributor(s): Mark Ryan.
Material type:
TextPublisher: United Kingdom Cambridge University Press 2004Edition: 2rd edition.Description: xiv,427pp illustration 22cm.ISBN: 9780521543101.Subject(s): DDC classification: 005.1015 HUT
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Books
|
TUNGUU REFERENCE LIBRARY
Welcome to SUZA Reference Library |
005.1015 HUT 1 (Browse shelf) | Available | R000014455 |
Browsing TUNGUU REFERENCE LIBRARY Shelves , Shelving location: Library shelves Close shelf browser
| 005.1 TAN 2 Structured Computer Organization | 005.1 THA 1 Software Enginneering Volume 1:The Development Process | 005.1 THA 1 Software Engineering Volume 2 The Supporting Processes | 005.1015 HUT 1 Logic in Computer Science | 005.1068 FUT 1 Quality Software Project Management | 005.1068 FUT 1 Quality Software Project Management | 005.1068 JAL 1 Software Project Management in Practice |
There are no comments for this item.