Logic in computer science :
Huth, Michael, 1962-
Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press ; 2004. - xiv, 427 p. : illustrations ; 25 cm.
Includes index.
Includes bibliographical references (p. 414-417).
Foreword. 1. Propositional logic. 2. Predicate logic. 3. Verification by model checking. 4. Program verification. 5. Modal logics and agents. 6. Binary decision diagrams. Bibliography. Index.
052154310X (pbk.) 9780521543101
2004045921
Computer logic.
Logic programming.
QA76.9.L63 / H88 2004
005.101
Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan. - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press ; 2004. - xiv, 427 p. : illustrations ; 25 cm.
Includes index.
Includes bibliographical references (p. 414-417).
Foreword. 1. Propositional logic. 2. Predicate logic. 3. Verification by model checking. 4. Program verification. 5. Modal logics and agents. 6. Binary decision diagrams. Bibliography. Index.
052154310X (pbk.) 9780521543101
2004045921
Computer logic.
Logic programming.
QA76.9.L63 / H88 2004
005.101