Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /
Autor principal: | |
---|---|
Autor Corporativo: | |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
London :
Springer London : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Undergraduate Topics in Computer Science,
|
Materias: |
Descripción Física: | XVIII, 313 p. 17 illus., 6 illus. in color. : online resource. |
---|---|
ISBN: | 9781447166870 |