| Recent years have seen the development of powerful tools for verifying hardware and software systems, and increasing interest in that technology from major companies. Students need a basic formal training which 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 modelling, specifying and verifying computer systems. It provides a simple and clear presentation, covering propositional and predicate logic, and some specialised 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 when necessary. Numerous examples are given, as well as a full exposition of a fast-growing technique for modelling and verifying computer systems, known as symbolic model checking. Numerous examples are given, and web support is available from http:www.cs.bham.ac.uk/research/lics.
From the Author
The paperback and hardback textbook are supplemented with an on-line tutor at Logic in Computer Science
Ancillary material for instructors and readers can be found on-line at Logic in Computer Science |
|
|
 University Calculus, Early Transcendentals (2nd Edition)
University Calculus, Early Transcendentals, Second Edition helps readers successfully generalize and apply the key ideas of calculus through clear and precise explanations, clean design, thoughtfully chosen examples, and superior exercise sets. This text offers the right mix of basic, conceptual, and challenging... | | VSTO 3.0 for Office 2007 ProgrammingWelcome to VSTO 3.0 for Office 2007 Programming. This book covers Visual Studio Tools for Office programming, with a primary emphasis on the several new VSTO programming features available for Microsoft Office 2007. VSTO is a phenomenon that means different things to different people. This book introduces developers
to VSTO as a platform for... | | SimCity 4: Deluxe Edition (also Covers Rush Hour Expansion)SimCity just keeps getting bigger and better, doesn’t it? Fortunately, so does this book, with a brand-new section dedicated to the copious new features introduced in Rush Hour.
The first seven parts of this book are for all SimCity players, illustrating the basics and delving in deep to enable anyone to become an expert Mayor.... |
Generic Programming: Advanced Lectures (Lecture Notes in Computer Science)Generic programming attempts to make programming more efficient by making it more general. This book is devoted to a novel form of genericity in programs, based on parameterizing programs by the structure of the data they manipulate.
The book presents the following four revised and extended chapters first given as lectures at the Generic... | | Intelligent Databases: Technologies and ApplicationsComputer-based information technologies have been extensively used to help many organizations, private companies, and academic and education institutions manage their processes and information systems hereby become their nervous center. Information systems are used to manage data. The explosion of massive data sets created by businesses, science... | | Linux for Non-Geeks: A Hands-On, Project-Based, Take-It-Slow GuidebookThis resource is for those who have switched or will be switching to Linux; it avoids tech-talk, but focuses on subjects appealing to the average Joe--installation, playing CDs, the Internet, games, printing, and more.
This book is for any home user who has switched or is thinking of switching to Linux. Based on Red Hat's... |
|
