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 HUTItem 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 |
There are no comments for this item.