Please sign in to write a review. If you have changed your email address then contact us and we will update your details. Would you like to proceed to the App store to download the Waterstones App? We have recently updated our Privacy Policy. The site uses cookies to offer you a better experience. By continuing to browse the site you accept our Cookie Policy, you can change your settings at any time.

Author:Gogal Shakaktilar
Country:French Guiana
Language:English (Spanish)
Published (Last):17 December 2005
PDF File Size:13.67 Mb
ePub File Size:6.91 Mb
Price:Free* [*Free Regsitration Required]

We use cookies to give you the best possible experience. By using our website you agree to our use of cookies. Dispatched from the UK in 1 business day When will my order arrive? Home Contact us Help Free delivery worldwide. Free delivery worldwide. Bestselling Series. Harry Potter. Popular Features. Home Learning. Description Recent years have seen the development of powerful tools for verifying hardware and software systems, as companies worldwide realise the need for improved means of validating their products.

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.

Related Articles