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 98.40
Auf Lager
SKU
A37QF6FCSKN
Geliefert zwischen Fr., 30.01.2026 und Mo., 02.02.2026
Details
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022.The 12 regular papers presented were carefully reviewed and selected from 28 submissions. They cover topics such as: software quality, reliability, availability, and safety; security, privacy, and trust in distributed and/or communicating systems; service-oriented, ubiquitous, and cloud computing systems; component-and model-based design; object technology, modularity, and software adaptation; self-stabilisation and self-healing/organising; and verification, validation, formal analysis, and testing of the above.<p
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031086786
- Genre Information Technology
- Auflage 1st edition 2022
- Editor Anna Philippou, Mohammad Reza Mousavi
- Lesemotiv Verstehen
- Anzahl Seiten 224
- Größe H235mm x B155mm x T13mm
- Jahr 2022
- EAN 9783031086786
- Format Kartonierter Einband
- ISBN 3031086783
- Veröffentlichung 12.06.2022
- Titel Formal Techniques for Distributed Objects, Components, and Systems
- Untertitel 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings
- Gewicht 347g
- Herausgeber Springer International Publishing
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung