Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Techniques for Distributed Objects, Components, and Systems
CHF 60.75
Auf Lager
SKU
3KVD6G1OTBV
1 Verfügbar 
Geliefert zwischen Mo., 02.03.2026 und Di., 03.03.2026
Details
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.
Inhalt
Component- and Model-Based Design.- Object Technology.- Service-Oriented C omputing Systems .- M obile Computing Systems.- Security.- Privacy.- Adaptive Distributed Systems.- S elf-Stabilization.- Self-Healing.- Verification.- Formal Analysis.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319926117
- Editor Luís Caires, Christel Baier
- Sprache Englisch
- Auflage 1st edition 2018
- Größe H235mm x B155mm x T12mm
- Jahr 2018
- EAN 9783319926117
- Format Kartonierter Einband
- ISBN 331992611X
- Veröffentlichung 30.05.2018
- Titel Formal Techniques for Distributed Objects, Components, and Systems
- Untertitel 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
- Gewicht 330g
- Herausgeber Springer International Publishing
- Anzahl Seiten 212
- Lesemotiv Verstehen
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
