Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Edición de la obra Designing Reliable Distributed Systems
| Autor | Peter Csaba Ölveczky |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2018 |
| Idioma | inglés |
| ISBN-13 | 9781447166870 |
| Número de Cutter | O52d |