Formal Techniques for Distributed Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2011

Formal Techniques for Distributed Systems

Roberto Bruni
  • Fonction : Auteur
  • PersonId : 1003772
Juergen Dingel
  • Fonction : Auteur
  • PersonId : 923301

Résumé

Book Front Matter of LNCS 6722
BookFrontmatter.pdf (154.31 Ko) Télécharger le fichier

Dates et versions

hal-01583312 , version 1 (07-09-2017)

Licence

Identifiants

Citer

Roberto Bruni, Juergen Dingel. Formal Techniques for Distributed Systems. Springer, LNCS-6722, 2011, Lecture Notes in Computer Science, 978-3-642-21460-8. ⟨10.1007/978-3-642-21461-5⟩. ⟨hal-01583312⟩
63 Consultations
111 Téléchargements

Altmetric

Partager

More