Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Material type: TextPublication details: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.Edition: 2nd edDescription: xiv, 427 p. : ill. ; 25 cmISBN:- 052154310X (pbk.)
- 005.1/01/5113 22
- QA76.9.L63 H88 2004
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|---|
Books | Zetech Library - Mang'u General Stacks | Non-fiction | QA76.9.L63 .H88 2004 (Browse shelf(Opens below)) | C1 | Available | Z010162 |
Includes bibliographical references (p. 414-417) and index.
Includes bibliographical references (p. 414-417) and index.
Propositional logic -- predicate logic --Verification by model checking --Program verification --Modal logics and agents -- Binary decision diagrams.
There are no comments on this title.