Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Formal Techniques for Distribu...
  • Bestand

Treffer: Formal Techniques for Distributed Objects, Components, and Systems

Titel:
Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings / edited by Marieke Huisman, António Ravara
Beteiligt:
Huisman, Marieke (Herausgeber); Ravara, António (Herausgeber)
Ausgabe:
1st ed. 2023
Veröffent­licht:
Cham : Springer Nature Switzerland, 2023
Vertrieb:
Cham : Springer International Publishing AG
Umfang:
1 Online-Ressource (XIV, 225 Seiten) : 80 illus., 51 illus. in color.
Format:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture Notes in Computer Science, ISSN 1611-3349 ; 13910
Andere Ausgaben:
Erscheint auch als Druck-Ausgabe: Formal Techniques for Distributed Objects, Components, and Systems. - Cham : Springer Nature Switzerland, 2023. - ISBN 9783031353543
ISBN:
9783031353550 ; 3031353552 ; 978--303135354-3 (Sekundärausgabe) ; 978--303135356-7 (Sekundärausgabe)
DOI:
10.1007/978-3-031-35355-0

Zusatz-Informationen

Zusatz-Funktionen