Formal Techniques for Distributed Objects, Components, and Systems
41st IFIP WG 6. 1 International Conference, FORTE 2021, Held As Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Edición de la obra Formal Techniques for Distributed Objects, Components, and Systems
| Autor | Kirstin Peters, Tim A. C. Willemse |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| ISBN-13 | 9783030780883 |
| Número de Cutter | P482f |