Preuves d'Algorithmes Distribues par Composition et Raffinement

Descriptif détaillé

media/pim/TITELIVE/41_9783841626929_1_75.jpg

ajouter

Preuves d'Algorithmes Distribues par Composition et Raffinement

Payer en 26.63€ ou 19.98€ sans frais En savoir +

Vendu et expédié par : Cultura

État : Neuf

INDISPONIBLE EN LIGNE

recevoir une alerte stock

stock en magasin

Retrouvez le produit près de chez vous.

*hors livres expédiés à domicile ou en point relais, hors remise et promotion au panier

description

descriptif du fournisseur

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.

Preuves d'Algorithmes Distribues par Composition et Raffinement

Preuves d'Algorithmes Distribues par Composition et Raffinement

recevoir une alerte stock

On vous recommande avec votre achat

Preuves d'Algorithmes Distribues par Composition et Raffinement

Preuves d'Algorithmes Distribues par Composition et Raffinement

79,90€

+

voir mon panier

Découvrez aussi

Livres audio - CD Romans littérature Livre

Romans littérature

Romans gros caractères • Livres feel-good • Romance • Romans Chick-lit • Livres LGBT • Romans érotiques • Romans Historiques • Romans sur le développement personnel • Livres de poche • Livres audio - CD • Nature Writing • Western • Coups de cœur : Romans ...

... Livres adaptés en films et séries • Nouveautés : romans • Meilleures ventes : romans • Précommandes Romans & littérature • Roman mythologie • Littérature classique • Littérature étrangère • Littérature française • Romans collectors & beaux livres

Livre

Meilleures ventes : Livre • Nouveautés : Livre • Précommandes : Livre • Livres Audio • Livres universitaires • Sport - Loisir - Nature • Livres scolaires • Livre Vie Pratique • Art - Culture - Société • Livres pour ados et jeunes adultes ...

... Mangas • Comics • BD • Romans littérature • Coups de cœur : Livre • Booktok • Meilleurs Livres 2022 • Livres à prix réduits • Les lectures qui font du bien • Livres d'occasion • Journée mondiale de l'environnement : notre sélection Livres ...

... Livres formation professionnelle • Biographies et autobiographies • Livre Actualité, Politique et Société • Livre Histoire et Géographie • Livres d'Art • Livre Sciences Humaines • Meilleurs livres 2023 • Livre tourisme et voyage ...

... Le meilleur du livre en 2024 • Livre Saint-Valentin • Auteurs • Des chats et des hommes • Livres Mythologie • Les livres à lire une fois dans sa vie • Livres VO • Policiers thrillers polars • SF Fantasy fantastique • Livres pass culture ...

... Accessoires de lecture • Meilleurs livres 2025

Produits similaires

D'autres printemps • Tu m'avais promis • Nous qui avons connu Solange • Le Manoir des rêves perdus Tome 2 : Vers la lumière • Un jour sans femme • The Empyrean Tome 3 : Onyx Storm • The Empyrean Tome 2 : Iron Flame • Derelict ...

... Les mystères de la rue Ginnami • Les heures fragiles • La bonne mère • The Empyrean Tome 1 : Fourth Wing

Réservez en ligne &
retirez en magasin sous 2h

Livraison gratuite en
magasin dès le lendemain

Paiement sécurisé en 3 ou
4 fois sans frais par carte bancaire

Retours gratuits
sous 30 jours

Réseaux sociaux

Newsletter

Service clients

Numéro cristal : 09 86 86 02 93

Nos conseillers ont réponse à tout, enfin presque.
Contactez-les du lundi au samedi de 8h à 19h.