Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 10854
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2018
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01824818
Soumis le : mercredi 27 juin 2018-15:55:35
Dernière modification le : mardi 31 octobre 2023-10:22:07
Dates et versions
Licence
Identifiants
- HAL Id : hal-01824818 , version 1
- DOI : 10.1007/978-3-319-92612-4
Citer
Christel Baier, Luís Caires. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-10854, 2018, Lecture Notes in Computer Science, 978-3-319-92611-7. ⟨10.1007/978-3-319-92612-4⟩. ⟨hal-01824818⟩
Collections
319
Consultations
115
Téléchargements