Logic in Computer Science
Subtitle: Modelling and Reasoning about Systems
Contributors: Ryan, Mark
Edition: 2nd ed.
Publisher: Cambridge University Press
Published: 2004
Place of publication: Leiden
Language: eng
Format: [electronic resource] :
Number of pages: 443
ISBN-13: 9780511264016
Subjects: Logic programming (Computer science); Computer logic
Description: This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Notes: Description based on print version record.
Table of contents: title: Cover; title: Half-title; title: Title; title: Copyright; title: Contents; title: Foreword to the first edition; title: Preface to the second edition; title: Acknowledgements; title: 1 Propositional logic; title: 2 Predicate logic; title: 3 Verification by model checking; title: 4 Program verification; title: 5 Modal logics and agents; title: 6 Binary decision diagrams; title: Bibliography; title: Index.