Formal Techniques for Distributed Objects, Components, and Systems
Résumé
Book Front Matter of LNCS 9688
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2016
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01432933
Soumis le : jeudi 12 janvier 2017-11:35:13
Dernière modification le : jeudi 14 décembre 2023-13:56:06
Dates et versions
Licence
Identifiants
- HAL Id : hal-01432933 , version 1
- DOI : 10.1007/978-3-319-39570-8
Citer
Elvira Albert, Ivan Lanese. Formal Techniques for Distributed Objects, Components, and Systems. Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩. ⟨hal-01432933⟩
Collections
78
Consultations
173
Téléchargements