Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 12719
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2021
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03740268
Soumis le : vendredi 29 juillet 2022-10:55:45
Dernière modification le : mercredi 7 septembre 2022-15:36:04
Dates et versions
Licence
Identifiants
- HAL Id : hal-03740268 , version 1
- DOI : 10.1007/978-3-030-78089-0
Citer
Kirstin Peters, Tim A.C. Willemse. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-12719, 2021, Lecture Notes in Computer Science, 978-3-030-78088-3. ⟨10.1007/978-3-030-78089-0⟩. ⟨hal-03740268⟩
Collections
24
Consultations
26
Téléchargements