Formal Techniques for Distributed Objects, Components, and Systems - Laboratoire d'informatique de l'école polytechnique Accéder directement au contenu
Ouvrages Année : 2014

Formal Techniques for Distributed Objects, Components, and Systems

Résumé

Book Front Matter of LNCS 8461
BookFrontmatter.pdf (169.58 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01398026 , version 1 (16-11-2016)

Licence

Paternité

Identifiants

Citer

Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIPWG6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩
364 Consultations
201 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More