
Designing Reliable Distributed Systems
- Alaotsikko
- A Formal Methods Approach Based on Executable Modeling in Maude
- Kirjailija
- Peter Csaba Ölveczky
- Painos
- 1st ed. 2017
- ISBN
- 9781447166863
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 22.2.2018
- Kustantaja
- Springer London Ltd
- Sivumäärä
- 313