Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logic in Computer Science
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logic in Computer Science

Logic in Computer Science

Modelling and Reasoning about Computer Systems

M. Huth

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
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav.client@eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription