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) | Available | SEECS005590 |
Total holds: 0
Browsing Central Library (CL) shelves, Shelving location: First Floor - Software Engineering/ Programming Language Close shelf browser
| 005.1 WIR Designing object-oriented software | 005.1 WIR Designing object-oriented software | 005.1 ZHU Software design methodology | 005.1015113 HUT Logic in computer science: modelling and reasoning about systems | 005.1015113 HUT Logic in computer science : modelling and reasoning about systems | 005.1068 CHE Mastering Software Project Management : best practices, tools and techniques | 005.1068 FAN Practical software process improvement |
There are no comments on this title.