Formal Techniques for Distributed Objects, Components, and Systems
45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
Szerző:
Carla Ferreira, Claudio Antares Mezzina
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
25 066
Ft
This book constitutes the refereed proceedings of the 45th IFIP WG 6.1 International Conference on F...
