Formal Techniques for Distributed Systems
Résumé
Book Front Matter of LNCS 6117
Domaines
Informatique [cs]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2010
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01555338
Soumis le : mardi 4 juillet 2017-09:21:56
Dernière modification le : mercredi 4 décembre 2024-14:18:02
Dates et versions
Licence
Identifiants
- HAL Id : hal-01555338 , version 1
- DOI : 10.1007/978-3-642-13464-7
Citer
John Hatcliff, Elena Zucca. Formal Techniques for Distributed Systems. Springer, LNCS-6117, 2010, Lecture Notes in Computer Science, 978-3-642-13463-0. ⟨10.1007/978-3-642-13464-7⟩. ⟨hal-01555338⟩
Collections
74
Consultations
112
Téléchargements