LOGIC IN COMPUTER SCIENCE: MODELLING AND REASONING ABOUT SYSTEMS
By: HUTH, M.
Material type: BookPublisher: NEW YORK Cambridge University Press 2005Edition: 2.Description: xiv+427p.,24X17Cms.ISBN: 0521670896.DDC classification: 621.38195 H973Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books | CENTRAL LIBRARY | 621.38195 H973 (Browse shelf) | Available | 076313 |
There are no comments for this item.