
Formal Techniques for Distributed Objects, Components, and Systems
Edición de la obra Formal Techniques for Distributed Objects, Components, and Systems
| Autor | Elvira Albert, Ivan Lanese |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 27, 2016 |
| Páginas | 291 |
| Formato | paperback |
| ISBN-13 | 9783319395692 |
| ISBN-10 | 3319395696 |
| Número de Cutter | A333f |