Logic in computer science: modelling and reasoning about systems
Material type:
TextPublication details: Cambridge Cambridge University Press 2004Edition: 2ndDescription: xiv,427p pSubject(s): Computer Logic
| Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
| Books | Jayakar Knowledge Resource Centre | Jayakar Knowledge Resource Centre | CS F3(N4) (Browse shelf(Opens below)) | Available | 444369 |
Total holds: 0
There are no comments on this title.