Logic in computer science: modelling and reasoning about systems modelling and reasoning about systems Michael Huth, Mark Ryan.
Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: 052154310XSubject(s): Computer logic | Logic programming (Computer science)DDC 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) | Checked out | 04/04/2026 | SEECS005590 |
Total holds: 0
There are no comments on this title.