Titre : |
Méthodes de construction des systèmes répartis : sélection d'articles |
Type de document : |
texte imprimé |
Auteurs : |
Valérie Issarny |
Editeur : |
Paris : Hermès science publications, |
Année de publication : |
1999 |
Importance : |
92 p. |
Format : |
24 x 16 cm |
ISBN/ISSN/EAN : |
978-2-7462-0058-6 |
Note générale : |
Bibliogr. |
Langues : |
Français (fre) |
Mots-clés : |
systèmes d'exploitation (ordinateurs) systèmes d'exploitation répartis |
Index. décimale : |
512.1 |
Résumé : |
Présente notamment une version étendue de trois articles de la conférence : Modélisation et support d'applications multimédias réparties, d'Isabelle Demeure; Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects, de David Mentré; Mises en cohérence et analyse de traces logicielles multi-niveaux, de François Gael Ottogali et Jean-Marc Vincent. |
Méthodes de construction des systèmes répartis : sélection d'articles [texte imprimé] / Valérie Issarny . - Paris : Hermès science publications,, 1999 . - 92 p. ; 24 x 16 cm. ISBN : 978-2-7462-0058-6 Bibliogr. Langues : Français ( fre)
Mots-clés : |
systèmes d'exploitation (ordinateurs) systèmes d'exploitation répartis |
Index. décimale : |
512.1 |
Résumé : |
Présente notamment une version étendue de trois articles de la conférence : Modélisation et support d'applications multimédias réparties, d'Isabelle Demeure; Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects, de David Mentré; Mises en cohérence et analyse de traces logicielles multi-niveaux, de François Gael Ottogali et Jean-Marc Vincent. |
|