1 option
Formal Techniques for Distributed Objects, Components, and Systems : 46th IFIP WG 6. 1 International Conference, FORTE 2026, Held As Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings.
Springer Nature - Springer Computer Science eBooks 2026 English International Available online
View online- Format:
- Book
- Author/Creator:
- Bocchi, Laura.
- Series:
- Lecture Notes in Computer Science Series
- Lecture Notes in Computer Science Series ; v.16589
- Language:
- English
- Physical Description:
- 1 online resource (584 pages)
- Edition:
- 1st ed.
- Place of Publication:
- Cham : Springer, 2026.
- Summary:
- This book constitutes the refereed proceedings of the 46th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2026, held in Urbino, Italy, as part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, during June 8-12, 2026.
- Notes:
- Description based on publisher supplied metadata and other sources.
- ISBN:
- 9783032281876
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.