Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 13910
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2023
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-04731927
Soumis le : vendredi 11 octobre 2024-10:49:47
Dernière modification le : vendredi 11 octobre 2024-10:52:56
Dates et versions
Licence
Identifiants
- HAL Id : hal-04731927 , version 1
- DOI : 10.1007/978-3-031-35355-0
Citer
Marieke Huisman, António Ravara. Formal Techniques for Distributed Objects, Components, and Systems. Springer Nature Switzerland, LNCS-13910, 2023, Lecture Notes in Computer Science, 978-3-031-35354-3. ⟨10.1007/978-3-031-35355-0⟩. ⟨hal-04731927⟩
Collections
8
Consultations
0
Téléchargements