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:

Sistema de Bibliotecas del Tecnológico de Costa Rica

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