Logic in computer science : modelling and reasoning about systems
Material type:
TextPublisher: New York Cambridge University Press 2004Edition: 2nd edDescription: xiv, 427 p. ill. ; 25 cmISBN: 9780521670890Subject(s): 1. Computer logic. 2. Logic programmingDDC classification: 005.1015113
| Item type | Current location | Home library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|---|
Book
|
Central Library (CL) | Central Library (CL) | NFIC | First Floor - Software Engineering/ Programming Language | 005.1015113 HUT (Browse shelf) | Available | SEECS012395 |
Total holds: 0
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.