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 indexCurrent location | Call number | Status | Date due | Barcode |
---|---|---|---|---|
Main Campus Book Shelves | QA76.9 .L63 H873L 2004 (Browse shelf) | Available | 200504160005 |
Includes bibliographical references and index
There are no comments for this item.