Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
By: Huth, Michael.
Contributor(s): Ryan, Mark.
Material type:
BookPublisher: Cambridge : Cambridge Univ. Press, 2004Edition: 2nd ed.Description: 427 p. : ill.ISBN: 052154310X.Call No.:
QA76.9 .L63
H873L 2004
Subject(s): COMPUTER LOGIC | LOGIC PROGRAMMING (COMPUTER SCIENCE)Bibliography, etc. Note: Includes bibliographical references and index
| Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|
| Main Campus Book Shelves | QA76.9 .L63 H873L 2004 (Browse shelf) | Available | 200504160005 |
Browsing Main Campus Shelves , Shelving location: Book Shelves Close shelf browser
| QA76.9 .I58 K747I Interactivity by design : creating & communicating with new media | QA76.9 .I58 U837 User centered system design : | QA76.9 .I58 U837 User centered system design : | QA76.9 .L63 H873L 2004 Logic in computer science : | QA76.9 .L63 L427F A friendly introduction to mathematical logic / | QA76.9 .L63 L569L Logic for learning : | QA76.9 .M3 P444S Solaris system management |
Includes bibliographical references and index
There are no comments for this item.