Table of contents for Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.


Bibliographic record and links to related information available from the Library of Congress catalog


Information from electronic data provided by the publisher. May be incomplete or contain other coding.


Counter
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.


Library of Congress subject headings for this publication: