Titre original :
Modelling Distributed Systems
Contenu du livre :
Ce manuel guide les étudiants à travers la spécification algébrique et la vérification des systèmes distribués, ainsi que certaines des techniques de vérification formelle les plus importantes.
L'auteur utilise le CRL comme véhicule, un langage développé pour combiner l'algèbre de processus et les types de données abstraits. Le livre est issu de cours d'introduction à la vérification de protocoles dispensés à des étudiants en informatique de premier et deuxième cycles, et le texte est étayé d'exemples et d'exercices tout au long du livre.
Les solutions complètes sont fournies en annexe, tandis que les feuilles d'exercices, les exercices de laboratoire, les exemples de spécifications et les diapositives des conférenciers sont disponibles sur le site web de l'auteur. Les chercheurs dans le domaine peuvent utiliser ce livre comme une vue d'ensemble de l'état de l'art en matière de spécification et de vérification algébriques.
Autres informations sur le livre :
| ISBN : | 9783540739371 |
| Auteur : | |
| Éditeur : | |
| Reliure : | Relié |
| Année de publication : | 2007 |
| Nombre de pages : | 154 |
Achat:
Actuellement disponible, en stock.
