Logic in computer science: Modelling and reasoning about systems
By: Huth, M.
Contributor(s): Ryan, 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.115 HUT (Browse shelf) | Available | 514519 |
There are no comments for this item.