Logic in Computer Science
by Michael Huth; Mark RyanFormat: Nonspecific Binding
Pub. Date: 2004-08-26
Publisher(s): Cambridge University Press
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
List Price: $92.40
Buy New
Arriving Soon. Will ship when available.
$88.00
Rent Textbook
Select for Price
Rent Digital
$70.08
Used Textbook
We're Sorry
Sold Out
Summary
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8
Table of Contents
| Foreword | |
| Propositional logic | |
| Predicate logic | |
| Verification by model checking | |
| Program verification | |
| Modal logics and agents | |
| Binary decision diagrams | |
| Bibliography | |
| Index | |
| Table of Contents provided by Publisher. All Rights Reserved. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.