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