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
Éditeur :
Springer International Publishing AG
ISBN :
9783031954962
Date de publication :
15 juin 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse