chargement

Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2 série informatique et systèmes d' information)

éditeur : Hermes Science Publications
catégorie : Techniques et informatique
date de publication :
délai de livraison : Immédiat (à partir de la date de publication)

PDF

Digital watermarking
103,00 €
Lecture multi-support

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.

Lire la suite...

Commentaires des lecteurs

9782746242333
- / 5
  5
  4
  3
  2
  1

Informations

Titre Méthodes formelles pour les systèmes répartis et coopératifs (Traité IC2 série informatique et systèmes d' information)
Auteurs , ,
Editeur Hermes Science Publications
Langue FR
Date de publication 10/11/2006
Nombre de pages 346

Droits numériques

Ean PDF 9782746242333
Type de protection Digital watermarking
Ean papier 9782746214477
Haut