Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type:
TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN: 9780521543101 (pbk.)Subject(s): Computer logic | Logic programmingDDC classification: 005.1015113 LOC classification: QA76.9.L63 | H88 2004Online resources: Sample text | Table of contents | Publisher description
| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
Staff Circulation
|
APU Library Open Shelf | Book | QA76.9.L63 H88 2004 c.1 (Browse shelf (Opens below)) | 1 | Available (No use restrictions) | 00008597 |
Browsing APU Library shelves, Shelving location: Open Shelf, Collection: Book Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| QA76.9.I58 S47 1992 c.1 Designing the user interface : | QA76.9.I58 W56 1986 c.1 Human resources and computing / | QA76.9.K48 B35 1984 c.1 Mastering keyboarding / | QA76.9.L63 H88 2004 c.1 Logic in computer science : | QA76.9.M3 J36 2000 c.1 Solaris 8 system administrators's reference / | QA76.9.M3 W35 2001 c.1 IT problem management / | QA76.9.M35 H34 2002 c.1 Discrete mathematics for computing / |
Includes bibliographical references (p. 414-417) and index.
There are no comments on this title.