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