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
Includes bibliographical references and index.
Propositional logic -- Predicate logic -- Verification by model checking -- Program verification -- Modal logics and agents -- Binary decision diagrams.