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 : 2023

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman
  • Fonction : Auteur
  • PersonId : 1425914

Résumé

Book Front Matter of LNCS 13910
IFIPLNCS13910DL_2023_BookFrontmatter.pdf (110.61 Ko) Télécharger le fichier

Dates et versions

hal-04731927 , version 1 (11-10-2024)

Licence

Identifiants

Citer

Marieke Huisman, António Ravara. Formal Techniques for Distributed Objects, Components, and Systems. Springer Nature Switzerland, LNCS-13910, 2023, Lecture Notes in Computer Science, 978-3-031-35354-3. ⟨10.1007/978-3-031-35355-0⟩. ⟨hal-04731927⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More