Formal Techniques for Distributed Objects, Components, and Systems
38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
Fr. 59.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Formal Techniques for Distributed Objects, Components, and Systems “
Klappentext zu „Formal Techniques for Distributed Objects, Components, and Systems “
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 10 full papers presented were carefully reviewed and selected from 28 submissions. The conference is dedicated to fundamental research on theory, models, tools, and applications for distributed systems.
Inhaltsverzeichnis zu „Formal Techniques for Distributed Objects, Components, and Systems “
Component- and Model-Based Design.-Object Technology.- Service-Oriented Computing Systems.- Mobile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- Self-Stabilization.- Self-Healing.- Verification.- Formal Analysis.
Bibliographische Angaben
- 2018, 1st ed. 2018, XI, 197 Seiten, 16 farbige Abbildungen, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Christel Baier, Luís Caires
- Verlag: Springer, Berlin
- ISBN-10: 331992611X
- ISBN-13: 9783319926117
- Erscheinungsdatum: 30.05.2018
Sprache:
Englisch
Kommentar zu "Formal Techniques for Distributed Objects, Components, and Systems"
0 Gebrauchte Artikel zu „Formal Techniques for Distributed Objects, Components, and Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Techniques for Distributed Objects, Components, and Systems".
Kommentar verfassen