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.

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible

Ejemplares similares