Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 8461
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2014
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01398026
Soumis le : mercredi 16 novembre 2016-15:43:00
Dernière modification le : mardi 3 décembre 2024-13:00:08
Dates et versions
Licence
Identifiants
- HAL Id : hal-01398026 , version 1
- DOI : 10.1007/978-3-662-43613-4
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⟩
Collections
376
Consultations
219
Téléchargements