
Designing Reliable Distributed Systems
- Undertittel
- A Formal Methods Approach Based on Executable Modeling in Maude
- Forfatter
- Peter Csaba Ölveczky
- Opplag
- 1st ed. 2017
- ISBN
- 9781447166863
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 22.2.2018
- Forlag
- Springer London Ltd
- Antall sider
- 313
