Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Saved in:
Main Author: | |
---|---|
Other Authors: | |
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-0Library of Fac. of Informatics
Call Number: | Copy: | Collection: | Status: |
---|---|---|---|
14470 | 14470 | Nem kölcsönözhető |