Logic in computer science: Modelling and reasoning about systems
By: Huth, M.
Material type: BookPublisher: Cambridge Cambridge University Press 2004Edition: 2nd ed.Description: xiv, 427p.ISBN: 0-521-67089-6.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.1015113 HUT (Browse shelf) | Available | 502769 |
There are no comments for this item.