Formal Techniques for Distributed Objects, Components, and Systems
36th IFIP WG 6. 1 International Conference, FORTE 2016, Held As Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Edición de la obra Formal Techniques for Distributed Objects, Components, and Systems
| Autor | Elvira Albert, Ivan Lanese |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| Páginas | 275 |
| ISBN-13 | 9783319395708 |
| Número de Cutter | A333f |