عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
ebl202214188
eng
Formal techniques for distributed objects, components, and systems :
:19, 2020, Proceedings /-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
Springer,
, 2020.
e
Electronic data processing ; Distributed processing ; Congresses. ;
Gotsman, Alexey, ;
old catalog
