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
Language:English
Published: London : Springer London, 2017
Series:Undergraduate Topics in Computer Science, ISSN 1863-7310
Subjects:
Online Access:https://doi.org/10.1007/978-1-4471-6687-0
Tags: Add Tag
Be the first to tag this record!

Similar Items