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.