Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type: TextPublisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd ed.Description: xiv, 427 p. : ill. ; 25 cm.ISBN: 052154310X (pbk.).Subject(s): Computer logic | Logic programmingDDC classification: 005.1/01/5113Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books |
TUNGUU LENDING LIBRARY
Welcome to Tunguu Lending Library |
005.101 (Browse shelf) | Available | L000000397 | |
Books |
TUNGUU LENDING LIBRARY
Welcome to Tunguu Lending Library |
004 (Browse shelf) | Available | L000000149 |
There are no comments for this item.