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

Formal Techniques for Distributed Objects, Components, and Systems

Jorge Pérez
  • Fonction : Auteur
  • PersonId : 998096
Nobuko Yoshida
  • Fonction : Auteur
  • PersonId : 1055854

Résumé

Book Front Matter of LNCS 11535
IFIPLNCS11535DL_2019_BookFrontmatter.pdf (145.33 Ko) Télécharger le fichier

Dates et versions

hal-02313743 , version 1 (11-10-2019)

Licence

Identifiants

Citer

Jorge Pérez, Nobuko Yoshida. Formal Techniques for Distributed Objects, Components, and Systems. Springer International Publishing, LNCS-11535, 2019, Lecture Notes in Computer Science, 978-3-030-21758-7. ⟨10.1007/978-3-030-21759-4⟩. ⟨hal-02313743⟩
63 Consultations
86 Téléchargements

Altmetric

Partager

More