Formal techniques for distributed objects, components, and systems: 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
Éditeur :
Springer International Publishing AG
ISBN :
9783031086786
Date de publication :
12 juin 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse