Designing Reliable Distributed Systems : A Formal Methods Approach Based on Executable Modeling in Maude
Peter Csaba Ölveczky
Bok Engelsk 2017 Peter Csaba Ölveczky
| Annen tittel | |
|---|---|
| Omfang | 313 p.
|
| Utgave | Aufl. 2017
|
| Emner | |
| Dewey | |
| ISBN | 1447166868. - 9781447166863 : Pb. : ca. EUR 42.79 (DE) (freier Pr.), ca. EUR 43.99 (AT) (freier Pr.), ca. sfr 53.50 (freier Pr.)
|
