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!

Internet

https://doi.org/10.1007/978-1-4471-6687-0

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
14470 14470 Nem kölcsönözhető