An edition of Designing Reliable Distributed Systems
(2018)
Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
by Peter Csaba Ölveczky
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 2 featured editions. View all 2 editions?
| Edition | Availability |
|---|---|
1
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
Feb 22, 2018, Springer
paperback
1447166868 9781447166863
|
aaaa
Libraries near you:
WorldCat
|
2
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
2018, Springer London, Limited
in English
1447166876 9781447166870
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Source title: Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude (Undergraduate Topics in Computer Science)
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| February 27, 2022 | Edited by ImportBot | import existing book |
| May 14, 2020 | Created by ImportBot | import new book |