Formal techniques for distributed objects, components, and systems: 40th ifip wg 6.1 international conference, forte 2020, held as part of the 15th international federated conference on distributed computing techniques, discotec 2020, valletta, malta, june 15–19, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030500856
Date de publication :
10 juin 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse