Formal Techniques for Distributed Objects, Components, and Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) 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

Identifiants

Citer

Erika Ábrahám, Catuscia Palamidessi. Formal Techniques for Distributed Objects, Components, and Systems. Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩. ⟨hal-01398026⟩
375 Consultations
215 Téléchargements

Altmetric

Partager

More