Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan.
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
TextPublisher: Cambridge : Cambridge University Press , 2004Edition: .Description: xiv,427p. : Ill.,figs. ; 23cm.ISBN: 9780521670890.Subject(s): COMPUTER MODELINGDDC classification: 003.3
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books
|
Central Library General Stacks | 003.3 HUT/L (Browse shelf) | 1 | Available | 109764 | |
|
Books
|
Central Library General Stacks | 003.3 HUT/L (Browse shelf) | 2 | Available | 109765 | |
|
Books
|
Central Library General Stacks | 003.3 HUT/L (Browse shelf) | 3 | Available | 110583 | |
|
Books
|
Central Library General Stacks | 003.3 HUT/L (Browse shelf) | 4 | Available | 110584 |
Includes bibliography and index
109764 RS795.00
109765
110583
110584
There are no comments for this item.