Export Ready — 
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 /

Bibliographic Details
Main Author: Ölveczky, Peter Csaba. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2017.
Edition:1st ed. 2017.
Series:Undergraduate Topics in Computer Science,
Subjects:
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

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items