EUR 55,14 + EUR 0,01 Livraison
  • Prix conseillé : EUR 62,25
  • Économisez : EUR 7,11 (11%)
  • Tous les prix incluent la TVA.
Il ne reste plus que 1 exemplaire(s) en stock.
Expédié et vendu par Book Depository FR.
EUR 55,14 + EUR 0,01 Livraison
Autres vendeurs sur Amazon
Ajouter au panier
EUR 62,25
Livraison à EUR 0,01 sur les livres et gratuite dès EUR 25 d'achats sur tout autre article Détails
Vendu par : Amazon
Ajouter au panier
EUR 63,87
+ EUR 0,01 (livraison)
Vendu par : livres_allemands
Vous l'avez déjà ? Vendez sur Amazon
Repliez vers l'arrière Repliez vers l'avant
Ecoutez Lecture en cours... Interrompu   Vous écoutez un extrait de l'édition audio Audible
En savoir plus
Voir cette image

Langages de scénarios: Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis Broché – 13 juin 2010


Voir les formats et éditions Masquer les autres formats et éditions
Prix Amazon
Neuf à partir de Occasion à partir de
Broché
EUR 55,14
EUR 55,14 EUR 86,62

nouveautés livres nouveautés livres

click to open popover

Offres spéciales et liens associés

  • Gratuit : téléchargez l'application Amazon pour iOS et Android et facilitez vos achats sur smartphones et tablettes ! Découvrez les avantages de l'application Amazon.

  • Outlet Anciennes collections, fin de séries, articles commandés en trop grande quantité, … découvrez notre sélection de produits à petits prix Profitez-en !

  • Tout à moins de 5 euros ! Découvrez notre sélection de produits à petits prix... Profitez-en !

  • Publiez votre livre sur Kindle Direct Publishing en format papier ou numérique : C'est simple et gratuit et vous pourrez toucher des millions de lecteurs. En savoir plus ici .
  • Plus de 10 000 ebooks indés à moins de 3 euros à télécharger en moins de 60 secondes .


Description du produit

Présentation de l'éditeur

Ce livre se place dans le cadre de la modélisation et de l'analyse de systèmes parallèles et répartis. Plus précisément, il s'intéresse à la modélisation, la vérification et la supervision de systèmes composés d'entités indépendantes interagissant localement par mémoire partagée et globalement par échange asynchrone de messages. Dans ce contexte, plutôt que de modéliser séparément chaque entité, puis d'analyser les comportements qui peuvent se produire lorsque ces entités interagissent, ce livre fournit une théorie permettant de modéliser globalement le système considéré tout en conservant des propriétés de vérification et de supervision décidables. Cette théorie se base sur le formalisme des ordres partiels étiquetés, appelés "pomsets".

Biographie de l'auteur

Thomas Gazagnaire, docteur en informatique, a fait ses études à l'Ecole Normale Supérieure de Lyon et de Cachan, antenne de Bretagne. Entre 2008 et 2010, il est ingénieur R&D chez Citrix Systems a Cambridge, UK. Depuis 2010, il est chercheur post-doctorant à l'Institut National de Recherche en Informatique et Automatique de Sophia-Antipolis.

Aucun appareil Kindle n'est requis. Téléchargez l'une des applis Kindle gratuites et commencez à lire les livres Kindle sur votre smartphone, tablette ou ordinateur.

  • Apple
  • Android
  • Windows Phone
  • Android

Pour obtenir l'appli gratuite, saisissez votre numéro de téléphone mobile.



Détails sur le produit


Commentaires client

Il n'y a pour l'instant aucun commentaire client.
Partagez votre opinion avec les autres clients

Où en sont vos commandes ?

Livraison et retours

Besoin d'aide ?