Designing reliable distributed systems : a formal methods approach based on executable modeling in maude
By: Olveczky, Peter Csaba.
Material type:
BookSeries: Undergraduate topics in computer science. Publisher: London : Springer, 2017Description: xviii, 313 p. : ill. ; 23.5 cm.ISBN: 9781447166863.Subject(s): Electronic data processing | Distributed processing | Computer network | Maude | Distributed systemsDDC classification: 004.36 Summary: 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.
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.36 OLV (Browse shelf) | Available | 031787 |
Includes bibliographical references and index.
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.
There are no comments for this item.