|Published (Last):||17 December 2005|
|PDF File Size:||13.67 Mb|
|ePub File Size:||6.91 Mb|
|Price:||Free* [*Free Regsitration Required]|
There is increasing demand for training in basic methods in formal reasoning so that students can gain proficiency in logic-based verification methods. The second edition of this successful textbook addresses both those requirements, by continuing 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. The coverage of model-checking has been substantially updated. Further exercises have been added.
Internet support for the book includes worked solutions for all exercises for teachers, and model solutions to some exercises for students. Table of contents 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. Review Text Modelling and Reasoning about Systems show more. Review quote ' This second edition improves the first one with extra and expanded sections on temporal logic model checking, SAT solvers, second-order logic, the Alloy specification language, and programming by contract.
The material is up-to-date and practical Bender, Any Language Communications, Inc. Rating details. Book ratings by Goodreads.
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X. Learn about new offers and get more deals by joining our newsletter. Sign up now. Follow us. Coronavirus delivery updates.
Logic in Computer Science: Modelling and Reasoning about Systems
Lucas Pierre Domingos Fernandes flag Denunciar. In fact, the book is quite remarkable in how much of this material it is able to cover: linear and branching time temporal logic, explicit state model checking, fairness, the basic fixpoint ix x Foreword to the first edition theorems for computation tree logic CTL , even binary decision diagrams and symbolic model checking. Moreover, this material is presented at a level that is accessible to undergraduate and beginning graduate students. Nu- merous problems and examples are provided to help students master the material in the book. Since both Huth and Ryan are active researchers in logics of programs and program verification, they write with considerable authority. In summary, the material in this book is up-to-date, practical, and ele- gantly presented. The book is a wonderful example of what a modern text on logic for computer science should be like.
Logic in Computer Science : Modelling and Reasoning about Systems
Goodreads helps you keep track of books you want to read. Want to Read saving…. Want to Read Currently Reading Read. Other editions. Enlarge cover. Error rating book. Refresh and try again.
Logic in Computer Science Michael Huth, Mark Ryan
Michael R. Huth , Michael Huth , Mark Ryan. In recent years, powerful tools for verifying hardware and software systems have been developed. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods.