Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 12136
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2020
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03283230
Soumis le : vendredi 9 juillet 2021-18:15:38
Dernière modification le : vendredi 9 juillet 2021-18:16:45
Archivage à long terme le : dimanche 10 octobre 2021-20:30:36
Dates et versions
Licence
Identifiants
- HAL Id : hal-03283230 , version 1
- DOI : 10.1007/978-3-030-50086-3
Citer
Alexey Gotsman, Ana Sokolova. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-12136, 2020, Lecture Notes in Computer Science, 978-3-030-50085-6. ⟨10.1007/978-3-030-50086-3⟩. ⟨hal-03283230⟩
Collections
66
Consultations
60
Téléchargements