Вы здесь

Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Стр.: 
237 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
12136
Карточка: 

Formal Techniques for Distributed Objects, Components, and Systems: Proc./40th IFIP WG 6/1 International Conference, FORTE 202, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 2020/Ed. by Gotsman A., Sokolova A..-Berlin.: Springer, 2020.-Vol. 12136.-237 p.-(Lecture Notes in Computer Science).