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 : lundi 30 octobre 2023-16:10:05
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
69
Consultations
111
Téléchargements