Methodes formelles pour les systèmes répartis et coopératifs traité ic2

Methodes formelles pour les systèmes répartis et coopératifs traité ic2
103,00€

Payer en 34.33€ ou 25.75€ sans frais En savoir +

Vendu et expédié par : Librinter

État : Neuf


en stock vendeur

Livraison 0.00€ à domicile dès le 00/00/00


Paiement 100%
sécurisé
Retour possible du
produit
Vendeur sélectionné
par Cultura

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.
 
Methodes formelles pour les systèmes répartis et coopératifs traité ic2

Methodes formelles pour les systèmes répartis et coopératifs traité ic2


On vous recommande avec votre achat
Methodes formelles pour les systèmes répartis et coopératifs traité ic2

Methodes formelles pour les systèmes répartis et coopératifs traité ic2

103,00
+