Couverture de Preuves d'Algorithmes Distribués par Composition et Raffinement
Titre du livre:

Preuves d'Algorithmes Distribués par Composition et Raffinement

Presses Académiques Francophones (27-04-2018 )

Books loader

Omni badge éligible au bon d'achat
ISBN-13:

978-3-8416-2692-9

ISBN-10:
3841626920
EAN:
9783841626929
Langue du livre:
Français
texte du rabat:
Un système distribué est défini par une collection d’entités de calcul autonomes, qui communiquent ensemble pour accomplir une tâche commune. Chaque entité exécute localement son calcul et ne peut interagir qu’avec ses voisins. Le développement et la preuve du calcul distribué est un défi qui nécessite l’utilisation de méthodes et outils avancés. Dans nos travaux de thèse, nous étudions quelques problèmes fondamentaux du calcul distribué. Nous utilisons Event-B, et nous proposons des schémas de preuve basés sur une approche “correct-par-construction”. Nous considérons un système distribué défini par réseau fiable, de processus anonymes et avec un modèle de communication basé sur l’échange de messages. Dans certains cas, nous faisons abstraction du modèle de communications en utilisant le modèle des calculs locaux.
Maison d'édition:
Presses Académiques Francophones
Site Web:
https://www.presses-academiques.com
de (auteur) :
Maha Bousabbah
Numéro de pages:
184
Publié le:
27-04-2018
Stock:
Disponible
Catégorie:
Informatique
Prix:
79.90 €
Mots-clés:
Algorithmes distribués, Event-B, vérification formelle, calculs locaux, composition

Books loader

Lettre d'information

Adyen::diners Adyen::jcb Adyen::discover Adyen::amex Adyen::mc Adyen::visa Adyen::cup Adyen::alipay Adyen::unionpay Adyen::paypal Paypal CryptoWallet Virement bancaire

  0 produits dans le panier
Modifier le contenu du panier
Loading frontend
LOADING