Téléchargez le livre : Méthodes formelles pour les systèmes répartis et coopératifs

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

de

Éditeur :

Hermés science


Collection :

Traité IC2 - Série Informatique et Systèmes d'Information

Paru le : 2006-11-10

eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
99,99 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
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.
Pages
346 pages
Collection
Traité IC2 - Série Informatique et Systèmes d'Information
Parution
2006-11-10
Marque
Hermés science
EAN papier
9782746214477
EAN PDF SANS DRM
9782746242333
Informations sur l'ebook
Prix
99,99 €

Suggestions personnalisées