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 |
| Fecha de publicación | Feb 22, 2018 |
| Páginas | 331 |
| Formato | paperback |
| ISBN-13 | 9781447166863 |
| ISBN-10 | 1447166868 |
| Número de Cutter | O52d |