| 000 | nam a22 7a 4500 | ||
|---|---|---|---|
| 999 |
_c29298 _d29298 |
||
| 008 | 190219b xxu||||| |||| 00| 0 eng d | ||
| 020 | _a9781447166863 | ||
| 082 |
_a004.36 _bOLV |
||
| 100 | _aOlveczky, Peter Csaba | ||
| 245 | _aDesigning reliable distributed systems : a formal methods approach based on executable modeling in maude | ||
| 260 |
_aLondon : _bSpringer, _c2017 |
||
| 300 |
_axviii, 313 p. : _bill. ; _c23.5 cm. |
||
| 365 |
_aEURO _b52.99 |
||
| 440 | _aUndergraduate topics in computer science | ||
| 504 | _aIncludes bibliographical references and index. | ||
| 520 | _aThis 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. | ||
| 650 | _aElectronic data processing | ||
| 650 | _aDistributed processing. | ||
| 650 | _aComputer network | ||
| 650 | _aMaude | ||
| 650 | _aDistributed systems | ||
| 942 |
_2ddc _cBK |
||