Méthodes formelles pour les systèmes répartis et coopératifs - E-book - PDF

Note moyenne 
Serge Haddad - Méthodes formelles pour les systèmes répartis et coopératifs.
Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel.... Lire la suite
103,00 € E-book - PDF
Vous pouvez lire cet ebook sur les supports de lecture suivants :
Téléchargement immédiat
Dès validation de votre commande
Offrir maintenant
Ou planifier dans votre panier

Résumé

Cet ouvrage présente l'utilisation des méthodes formelles pour les systèmes répartis et coopératifs dans un contexte pratique de Génie Logiciel. Ces techniques sont particulièrement intéressantes pour les domaines dits "critiques". En effet, les systèmes répartis critiques nécessitent le recours à des méthodes formelles pour les phases amont et aval du Génie Logiciel. L'objectif de cet ouvrage est de présenter les techniques en pointe dans ce domaine, en particulier pour traiter des systèmes de taille industrielle.
Le présent ouvrage vise un public d'étudiants en master 2, de jeunes chercheurs débutant dans le domaine ou des ingénieurs souhaitant disposer d'une vue synthétique sur un domaine en perpétuelle évolution, en particulier pour combattre la complexité due à l'accroissement des systèmes répartis requérant une analyse formelle.

Caractéristiques

  • Caractéristiques du format PDF
    • Pages
      346
    • Taille
      3 545 Ko
    • Protection num.
      Digital Watermarking
    • Transferts max.
      Autorisé
    • Imprimable
      01 page(s) autorisée(s)
    • Copier coller
      01 page(s) autorisée(s)

Avis libraires et clients

Avis audio

Écoutez ce qu'en disent nos libraires !

Souvent acheté ensemble

Vous aimerez aussi

Derniers produits consultés

Méthodes formelles pour les systèmes répartis et coopératifs est également présent dans les rayons

103,00 €