
Designing Reliable Distributed Systems
- Undertitel
- A Formal Methods Approach Based on Executable Modeling in Maude
- Författare
- Peter Csaba Ölveczky
- Upplaga
- 1st ed. 2017
- ISBN
- 9781447166863
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2018-02-22
- Förlag
- Springer London Ltd
- Sidor
- 313