Logic in computer science: Modelling and reasoning about systems
By: Huth, M.
Material type: BookPublisher: New Delhi Cambridge University Press 2004Description: xiv, 427p.ISBN: 9780521670890.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
005.1 HUT (Browse shelf) | Available | 515658 |
There are no comments for this item.