Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
(Bog, Paperback / softback, Engelsk)
Forlag:
Springer London Ltd
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9781447166863
- Se flere detaljer ▼
Beskrivelse
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer London Ltd |
| Forfatter | Peter Csaba Olveczky |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2017 |
| Udgivelsesdato | 22-02-2018 |
| Første udgivelsesår | 2018 |
| Serie | Undergraduate Topics in Computer Science |
| Illustrationer | 6 Illustrations, color; 11 Illustrations, black and white |
| Originalsprog | United Kingdom |
| Sideantal | 313 |
| Indbinding | Paperback / softback |
| Forlag | Springer London Ltd |
| Sideoplysninger | 313 pages, 6 Illustrations, color; 11 Illustrations, black and white |
| Mål | 159 x 238 x 18 |
| ISBN-13 / EAN-13 | 9781447166863 |