Méthodes formelles pour les systèmes répartis et coopératifs

Méthodes formelles pour les systèmes répartis et coopératifs
99,99€
  • Pagination : 346
  • EAN : 9782746242333
  • Protection numérique : Digital watermarking
  • Langue du livre : Français

Payer en 33.33€ ou 25€ sans frais En savoir +

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :


Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
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.
 
Méthodes formelles pour les systèmes répartis et coopératifs

Méthodes formelles pour les systèmes répartis et coopératifs


On vous recommande avec votre achat
Méthodes formelles pour les systèmes répartis et coopératifs

Méthodes formelles pour les systèmes répartis et coopératifs

99,99
+