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

Saved in:
Bibliographic Details
Main Author:
Corporate Author:
Special Collection:e-book
Format: Book
Published: London : Springer London, 2017
Series:Undergraduate Topics in Computer Science, ISSN 1863-7310
Online Access:
Tags: Add Tag
Be the first to tag this record!