An edition of Logic in Computer Science
(2000)
Logic in Computer Science
Modelling and Reasoning about Systems
2nd ed.
by Michael Huth
Share
×Close
This second edition continues 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. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.
Check nearby libraries
Buy this book
| Edition | Availability |
|---|---|
1
Logic in Computer Science: Modelling and Reasoning about Systems
2012, Cambridge University Press
in English
051181027X 9780511810275
|
zzzz
|
2
Logic in Computer Science: Modelling and Reasoning about Systems
2004, Cambridge University Press
electronic resource :
in English
- 2nd ed.
0511264011 9780511264016
|
aaaa
|
|
3
Logic In Computer Science: Modelling and Reasoning About Systems
2000, Cambridge University Press
in English
0511263201 9780511263200
|
zzzz
|
Book Details
Table of Contents
Cover
Half-title
Title
Copyright
Contents
Foreword to the first edition
Preface to the second edition
Acknowledgements
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.
Edition Notes
Description based on print version record.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 5, 2019 | Created by MARC Bot | import new book |