Logic in computer science [electronic resource] : modelling and reasoning about systems / Michael Huth, Mark Ryan.
By: Huth, Michael.
Contributor(s): Ryan, Mark.
New York : Cambridge University Press, 2007Edition: 2nd ed.Description: 427 p: ill.ISBN: 9780521543101.Subject(s): Computer logic | Logic programmingGenre/Form: Print books.
Contents:
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logics and agents -- Binary decision diagrams.
Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|
On Shelf | QA76.9.L63 H88 2004 (Browse shelf) | Available | AU0000000009242 |
Total holds: 0
Browsing Alfaisal University Shelves , Shelving location: On Shelf Close shelf browser
QA76.9 .I52 T66 2020 Interactive visual data analysis / | QA76.9.I52 W55 2019 Fundamentals of data visualization : a primer on making informative and compelling figures / | QA76.9.L63 D46 2019 Computational thinking / | QA76.9.L63 H88 2004 Logic in computer science modelling and reasoning about systems / | QA76.9.L63 M34 2019 How to speak machine : laws of design for a digital age / | QA76.9.M35 H867 2012 Essentials of discrete mathematics / | QA76.9.M35 K46 2012 Lectures on discrete mathematics for computer science / |
Includes bibliographical references and index.
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logics and agents -- Binary decision diagrams.