Logic in Computer Science. Modelling and Reasoning about Systems
2nd edition
Par : , Formats :
- Nombre de pages427
- PrésentationBroché
- FormatGrand Format
- Poids0.79 kg
- Dimensions17,5 cm × 24,5 cm × 2,5 cm
- ISBN0-521-54310-X
- EAN9780521543101
- Date de parution01/01/2004
- ÉditeurCambridge University Press
Résumé
The second edition of this successful textbook addresses both those requirements, by continuing to provide an introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application. The presentation is clear and simple, with core material being described early in the book, and further technicalities introduced only where they are needed by the applications.
A key feature is the full exposition of model-checking, and the new edition supports the most up-to-date versions of the tools NuSMV and Alloy. Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification tool, and programming by contract. The coverage of model-checking has been substantially updated.
Further exercises have been added.
The second edition of this successful textbook addresses both those requirements, by continuing to provide an introduction to formal reasoning that is both relevant to the needs of modern computer science and rigorous enough for practical application. The presentation is clear and simple, with core material being described early in the book, and further technicalities introduced only where they are needed by the applications.
A key feature is the full exposition of model-checking, and the new edition supports the most up-to-date versions of the tools NuSMV and Alloy. Improvements to the first edition have been made throughout, with extra and expanded sections on linear-time temporal logic model checking, SAT solvers, second-order logic, the Alloy specification tool, and programming by contract. The coverage of model-checking has been substantially updated.
Further exercises have been added.