Designing Reliable Distributed Systems
A Formal Methods Approach Based on Executable Modeling in Maude
Häftad, Engelska, 2018
1 029 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems.
Produktinformation
- Utgivningsdatum2018-02-22
- Mått155 x 235 x 18 mm
- Vikt564 g
- FormatHäftad
- SpråkEngelska
- SerieUndergraduate Topics in Computer Science
- Antal sidor313
- FörlagSpringer London Ltd
- ISBN9781447166863