Formal Techniques for Distributed Objects, Components, and Systems
34th IFIP WG 6. 1 International Conference, FORTE 2014, Held As Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings
Edición de la obra Formal Techniques for Distributed Objects, Components, and Systems
| Autor | Erika Ábrahám, Catuscia Palamidessi |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 301 |
| ISBN-13 | 9783662436134 |
| Número de Cutter | A159f |