Andere Kunden interessierten sich auch für
![Systèmes Informatiques Mobiles : de l¿informel vers le formel]( "Systèmes Informatiques Mobiles : de l¿informel vers le formel")
Systèmes Informatiques Mobiles : de l¿informel vers le formel29,99 €![Le traitement des classes déséquilibrées par les méthodes ensemblistes]( "Le traitement des classes déséquilibrées par les méthodes ensemblistes")
Le traitement des classes déséquilibrées par les méthodes ensemblistes29,99 €![Méthodes statistiques pour les systèmes de dialogue conventionnels]( "Méthodes statistiques pour les systèmes de dialogue conventionnels")
Méthodes statistiques pour les systèmes de dialogue conventionnels45,99 €![Modèles de temps pour la véri¿cation des systèmes temps-réel]( "Modèles de temps pour la véri¿cation des systèmes temps-réel")
Modèles de temps pour la véri¿cation des systèmes temps-réel36,99 €![Etude comparative des performances des méthodes ensemblistes]( "Etude comparative des performances des méthodes ensemblistes")
Etude comparative des performances des méthodes ensemblistes29,99 €![Contraintes temporelles dans les bases de données de capteurs sans fil]( "Contraintes temporelles dans les bases de données de capteurs sans fil")
Contraintes temporelles dans les bases de données de capteurs sans fil46,99 €![Logiciel de génération de nombres aléatoires dans OpenCL]( "Logiciel de génération de nombres aléatoires dans OpenCL")
Logiciel de génération de nombres aléatoires dans OpenCL32,99 €
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.