Formal Techniques for Distributed Systems
Résumé
Book Front Matter of LNCS 7273
Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2012
Hal Ifip : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-01528737
Soumis le : lundi 29 mai 2017-15:54:01
Dernière modification le : vendredi 12 janvier 2024-13:50:04
Dates et versions
Licence
Identifiants
- HAL Id : hal-01528737 , version 1
- DOI : 10.1007/978-3-642-30793-5
Citer
Holger Giese, Grigore Rosu. Formal Techniques for Distributed Systems. Springer, LNCS-7273, 2012, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-30793-5⟩. ⟨hal-01528737⟩
Collections
107
Consultations
146
Téléchargements