IziBooks IziBooks IziBooks IziBooks
Méthodes formelles pour les systèmes répartis et coopératifs - Serge Haddad, Fabrice Kordon, Laure Petrucci, Collectif - Hermés science

Suivre l’actualité de ce titre (promotion, parution...)

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

de Serge Haddad (auteur), Fabrice Kordon (auteur), Laure Petrucci (auteur), Collectif (auteur)
Maison d'édition : Hermés science
novembre 2006
346 pages Téléchargement après achat
99,99 €
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, ...

Comment récupérer et lire mon ebook ?

  Paiement sécurisé

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.

Auteur

  • Collectif (auteur)

    LES ILLUSTRATEURS

    Trente Fables de la Fontaine interprétées par 30 artistes contemporains : Frédéric Clément, Quentin Blake, Antonin Louchard, Joëlle Jolivet, François Place, Bruno Heitz, Mireille Vautier, Jean Claverie, Philippe Dumas...

Auteur(s) : Serge Haddad, Fabrice Kordon, Laure Petrucci, Collectif

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Caractéristiques

Editeur : Hermés science

Auteur(s) : Serge Haddad, Fabrice Kordon, Laure Petrucci, Collectif

Publication : 10 novembre 2006

Intérieur : Noir & blanc

Support(s) : Livre numérique eBook, Livre numérique eBook [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 3,46 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3225

EAN13 Livre numérique eBook [PDF] : 9782746242333

EAN13 (papier) : 9782746214477

Vous aimerez aussi

Les promos du moment
--:-- / --:--