Logic in Computer Science
Modelling and Reasoning about Computer Systems
388 pages, parution le 15/01/2000
Résumé
Recent years have seen the development of powerful tools
for verifying hardware and software systems. Students need
a basic formal training which allows them to become
proficient 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 of a carefully
chosen core of essential terminology: further
technicalities are introduced only where they are required
by the applications. Numerous examples are given.
Contents
Foreword
Preface
Acknowledgments
1 Propositional logic 1
2 Predicate logic 90
3 Verification by model checking 148
4 Program verification 216
5 Modal logics and agents 261
6 Binary decision diagrams 316
Bibliography 375
Index 378
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Cambridge University Press |
| Auteur(s) | M. Huth |
| Parution | 15/01/2000 |
| Nb. de pages | 388 |
| Format | 17,5 x 24,5 |
| Couverture | Broché |
| Poids | 700g |
| Intérieur | Noir et Blanc |
| EAN13 | 9780521656023 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Logique Logique floue
- Sciences Mathématiques Mathématiques par matières Logique Algèbre de Boole
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
