Logic in Computer Science
By:Michael Huth,Mark Ryan
Published on 2000 by Cambridge University Press
In recent years, powerful tools for verifying hardware and software systems have been developed. Major companies, such as Intel, Siemens, BT, AT&T, and IBM have increasingly become interested in that technology. Students need a basic formal training that allows them to gain sufficient proficiency in using logic-based verification methods. This book addresses these needs by providing a sound basis in logic and an introduction to the logical frameworks used in modeling, specifying and verifying computer systems. Coverage provides a simple and clear presentation, detailing propositional and predicate logic as well as some specialized logics used for reasoning about the correctness of computer systems. The authors introduce a carefully chosen core of essential terminology; further technicalities are introduced only where they are required by the applications. Numerous examples are given, as well as a full exposition of a fast-growing technique for modeling and verifying computer systems, known as symbolic model checking. It will be an ideal introduction for undergraduate students. A worldwide web tutorial that supports the course activities and provides solutions to the sample exercises is available to instructors.
This Book was ranked at 33 by Google Books for keyword computer.
Book ID of Logic in Computer Science's Books is zAchdqsWkL0C, Book which was written by "Michael Huth,Mark Ryan" have ETAG "hpBA4kX/79Q"
Book which was published by Cambridge University Press since 2000 have ISBNs, ISBN 13 Code is 9780521656023 and ISBN 10 Code is 0521656028
Reading Mode in Text Status is false and Reading Mode in Image Status is true
Book which have "387 Pages" is Printed at BOOK under CategoryComputers
This Book was rated by Raters and have average rate at ""
This eBook Maturity (Adult Book) status is NOT_MATURE
Book was written in en
eBook Version Availability Status at PDF is falseand in ePub is false
Book Preview
