Méthodes formelles pour le parallélisme
Spécification, modélisation et vérification des systèmes concurrents
(Sprache: Französisch)
Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement d'un système parallèle, et suite au fait qu'elles sont fondées sur une base théorique solide qui est les mathématiques, ces méthodes permettent...
Leider schon ausverkauft
versandkostenfrei
Buch
39.90 €
Produktdetails
Produktinformationen zu „Méthodes formelles pour le parallélisme “
Klappentext zu „Méthodes formelles pour le parallélisme “
Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement d'un système parallèle, et suite au fait qu'elles sont fondées sur une base théorique solide qui est les mathématiques, ces méthodes permettent des validations automatisées des propriétés du système développé. Ce livre tente d'apporter aux lecteurs les connaissances fondamentales sur le domaine des méthodes formelles pour la spécification, la modélisation et la vérification des systèmes parallèles. L'accent sera mis sur les méthodes sémantiques de parallélisme, les outils formels de modélisation, ainsi que sur les méthodes formelles de vérification.
Autoren-Porträt von Djalila Boughareb
Boughareb, DjalilaDjalila Boughareb, Enseignante-chercheuse en Informatique, titulaire d'un diplôme de doctorat en Sciences et Technologies de l'Information et de la Communication.
Bibliographische Angaben
- Autor: Djalila Boughareb
- 2019, 84 Seiten, Maße: 22 cm, Kartoniert (TB), Französisch
- Verlag: Editions universitaires europeennes
- ISBN-10: 6139520916
- ISBN-13: 9786139520916
Sprache:
Französisch
Kommentar zu "Méthodes formelles pour le parallélisme"
0 Gebrauchte Artikel zu „Méthodes formelles pour le parallélisme“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Méthodes formelles pour le parallélisme".
Kommentar verfassen