Formal Methods for Open Object-Based Distributed Systems
Volume 1
Edición de la obra Formal Methods for Open Object-Based Distributed Systems
| Autor | Elie Najm, Jean-Bernard Stefani |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| ISBN-13 | 9780387350820 |
| Número de Cutter | N162f |