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 |
Browsing College Library shelves Close shelf browser
|
|
No cover image available No cover image available |
|
|
No cover image available No cover image available |
|
||
| 005.1 P92 2015 Software engineering : | 005.1 St48 2007 Programming language fundamentals by example / | 005.1 T41 2018 Theory, practice and techniques in object oriented programming / | 005.1015113 H97 2004 Logic in computer science : | 005.1071 So23 2005 Software engineering : | 005.10711 F96 2019 Fundamentals of IT and programming / | 005.1092 Ul42 1997 Close to the machine : |
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.