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 90.75
Auf Lager
SKU
MHGOD34NK0I
1 Verfügbar 
Geliefert zwischen Mi., 28.01.2026 und Do., 29.01.2026
Details
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2023, held in Lisbon, Portugal, in June 2023, as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023.
The 13 regular papers and 3 short papers presented in this book were carefully reviewed and selected from 26 submissions. They cover topics such as: concurrent programming; security; probabilities, time and other resources; and model-based testing and petri nets.
Inhalt
Concurrent programming.- Security.- Probabilities, time and other resources.- Model-based testing and petri nets.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031353543
- Genre Information Technology
- Auflage 1st edition 2023
- Editor Marieke Huisman, António Ravara
- Lesemotiv Verstehen
- Anzahl Seiten 240
- Größe H235mm x B155mm x T14mm
- Jahr 2023
- EAN 9783031353543
- Format Kartonierter Einband
- ISBN 3031353544
- Veröffentlichung 10.06.2023
- Titel Formal Techniques for Distributed Objects, Components, and Systems
- Untertitel 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
- Gewicht 371g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
