Formal Methods for Open Object-Based Distributed Systems
Volume 2
Edición de la obra Formal methods for open object-based distributed systems
| Autor | Howard Bowman, John Derrick |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2016 |
| Idioma | inglés |
| ISBN-13 | 9780387352619 |
| Número de Cutter | B787f |