0
item
Total :
0,00 $
Magasiner par secteur
Matériel obligatoire et recommandé
Méthodes formelles pour les systèmes répartis et coopératifs
Éditeur : Lavoisier-Hermès
ISBN numérique PDF: 9782746242333
Parution : 2021
Catégorisation :
Livres numériques /
Autre /
Autre /
Autre.
Formats disponibles
| Format | Qté. disp. | Prix* | Commander |
|---|---|---|---|
| Numérique PDF Protection acs4*** |
Illimité | Prix : 146,95 $ |
*Les prix sont en dollars canadien. Taxes et frais de livraison en sus.
***Ce produit est protégé en vertu des droits d'auteurs.
Description
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.
Du même auteur...
| Livre papier | 1 | Prix : 139,95 $ |
Systèmes répartis en action : de l'embarqué au système à large échelle
Éditeur : Lavoisier-Hermès
ISBN : 9782746243163
Parution : 2021