Méthodes formelles pour le parallélisme
search
  • Méthodes formelles pour le parallélisme
  • Méthodes formelles pour le parallélisme

Méthodes formelles pour le parallélisme

DJALILA BOUGHAREB

39,90 €
37,90 € Économisez 5%

Spécification, modélisation et vérification des systèmes concurrents

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.

Format : Papier

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.
Pour les produits numériques, frais d'envoi offerts et accès immédiat.

Quantité
Disponible

Djalila Boughareb, Enseignante-chercheuse en Informatique, titulaire d'un diplôme de doctorat en Sciences et Technologies de l'Information et de la Communication.


Fiche technique

Auteur
DJALILA BOUGHAREB
Langue
Français
Éditeur
Éditions universitaires européennes
Année
2019
Pages
84
Pays
Algérie Algérie

30 autres produits dans la même catégorie :

Voir tout
Voir tout