Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type: TextPublisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Edition: Second editionDescription: xiv, 427 pages : illustrations ; 25 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 052154310X [paperback]Subject(s): Computer logic | Logic programmingDDC classification: Online resources: Sample text | Table of contents | Publisher description
Contents:
Contents: 1 Propositional logic -- 2 Predicate logic -- 3 Verification by model checking -- 4 Program verification -- 5 Modal logics and agents -- 6 Binary decision diagrams
Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Book | 005.1015113 H97 2004 (Browse shelf) | Available | 3UCBL000002977 |
Includes bibliography (pages 414-417) and index
Contents: 1 Propositional logic -- 2 Predicate logic -- 3 Verification by model checking -- 4 Program verification -- 5 Modal logics and agents -- 6 Binary decision diagrams
There are no comments on this title.