Logic in computer science : modelling and reasoning about systems /
Huth, Michael, 1962-
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press, 2004. - xiv, 427 p. : ill. ; 25 cm.
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.
052154310X (pbk.)
2004045921
Computer logic.
Logic programming.
QA76.9.L63 / H88 2004
005.1/01/5113
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan. - 2nd ed. - Cambridge [U.K.] ; New York : Cambridge University Press, 2004. - xiv, 427 p. : ill. ; 25 cm.
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.
052154310X (pbk.)
2004045921
Computer logic.
Logic programming.
QA76.9.L63 / H88 2004
005.1/01/5113