Check nearby libraries
Buy this book
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
Previews available in: English
Showing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Logic in Computer Science: Modelling and Reasoning about Systems
2012, Cambridge University Press
in English
051181027X 9780511810275
|
zzzz
Libraries near you:
WorldCat
|
2
Logic in Computer Science: Modelling and Reasoning about Systems
2004, Cambridge University Press
electronic resource :
in English
- 2nd ed.
0511264011 9780511264016
|
aaaa
Libraries near you:
WorldCat
|
3
Logic In Computer Science: Modelling and Reasoning About Systems
2000, Cambridge University Press
in English
0511263201 9780511263200
|
zzzz
Libraries near you:
WorldCat
|
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
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 5, 2019
- 1 revision
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
July 5, 2019 | Created by MARC Bot | Imported from Internet Archive item record |