Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /

Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude /

Detalles Bibliográficos
Autor principal: Ölveczky, Peter Csaba. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: London : Springer London : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Undergraduate Topics in Computer Science,
Materias:
Software engineering.
Computer simulation.
Mathematical logic.
Computer communication systems.
Software Engineering.
Simulation and Modeling.
Mathematical Logic and Formal Languages.
Computer Communication Networks.
Descripción
Descripción Física:XVIII, 313 p. 17 illus., 6 illus. in color. : online resource.
ISBN:9781447166870

Ejemplares similares