Designing Reliable Distributed Systems
Zusammenfassung
The feel-good place to buy books
Designing Reliable Distributed Systems by Peter Lveczky
This classroom-tested textbook provides an accessible introduction to the design, formal modeling, and analysis of distributed computer systems. The book uses Maude, a rewriting logic-based language and simulation and model checking tool, which offers a simple and intuitive modeling formalism that is suitable for modeling distributed systems in an attractive object-oriented and functional programming style. Topics and features: introduces classical algebraic specification and term rewriting theory, including reasoning about termination, confluence, and equational properties; covers object-oriented modeling of distributed systems using rewriting logic, as well as temporal logic to specify requirements that a system should satisfy; provides a range of examples and case studies from different domains, to help the reader to develop an intuitive understanding of distributed systems and their design challenges; examples include classic distributed systems such as transport protocols, cryptographic protocols, and distributed transactions, leader election, and mutual execution algorithms; contains a wealth of exercises, including larger exercises suitable for course projects, and supplies executable code and supplementary material at an associated website. This self-contained textbook is designed to support undergraduate courses on formal methods and distributed systems, and will prove invaluable to any student seeking a reader-friendly introduction to formal specification, logics and inference systems, and automated model checking techniques.
Dr. Peter Csaba Ölveczky is a Professor in the Department of Informatics at the University of Oslo, Norway.
| SKU | Nicht verfügbar |
| ISBN 13 | 9781447166863 |
| ISBN 10 | 1447166868 |
| Titel | Designing Reliable Distributed Systems |
| Autor | Peter Csaba Olveczky |
| Serie | Undergraduate Topics In Computer Science |
| Buchzustand | Nicht verfügbar |
| Bindungsart | Paperback |
| Verlag | Springer London Ltd |
| Erscheinungsjahr | 2018-02-22 |
| Seitenanzahl | 313 |
| Hinweis auf dem Einband | Die Abbildung des Buches dient nur Illustrationszwecken, die tatsächliche Bindung, das Cover und die Auflage können sich davon unterscheiden. |
| Hinweis | Nicht verfügbar |