000 | 02490cam a2200193 a 4500 | ||
---|---|---|---|
999 |
_c21598 _d21598 |
||
007 | ta | ||
008 | 170908s2017 enka ||f |||| 001 0 eng d | ||
020 | _a9781447166863 | ||
082 |
_a621.3192 _bC958d _223 |
||
100 |
_aCsaba Ölveczky, Peter. _94856 |
||
245 |
_aDesigning reliable distributed systems: _bA formal methods approach based on executable modeling in maude / _cPeter Csaba Ölveczky. |
||
260 |
_aLondon: _bSpringer, _c2017 |
||
300 |
_axviii, 313 p.: _bil.,; _c24 cm. |
||
504 | _6Incluye índice | ||
520 | _aEste libro de texto probado en clase proporciona una introducción accesible al diseño, modelado formal y análisis de sistemas informáticos distribuidos. El libro usa Maude, un lenguaje de reescritura basado en lógica y simulación y herramienta de verificación de modelos, que ofrece un formalismo de modelado simple e intuitivo que es adecuado para modelar sistemas distribuidos en un atractivo estilo de programación orientado a objetos y funcional. Temas y características: presenta la especificación algebraica clásica y la teoría de reescritura de términos, incluido el razonamiento sobre la terminación, la confluencia y las propiedades de ecuaciones; cubre el modelado orientado a objetos de sistemas distribuidos utilizando la lógica de reescritura, así como la lógica temporal para especificar los requisitos que un sistema debería satisfacer; proporciona una gama de ejemplos y estudios de casos de diferentes dominios, para ayudar al lector a desarrollar una comprensión intuitiva de los sistemas distribuidos y sus desafíos de diseño; los ejemplos incluyen sistemas clásicos distribuidos tales como protocolos de transporte, protocolos criptográficos y transacciones distribuidas, elección de líder y algoritmos de ejecución mutua; contiene una gran cantidad de ejercicios, incluidos ejercicios más grandes adecuados para los proyectos del curso, y proporciona código ejecutable y material complementario en un sitio web asociado. Este libro de texto independiente está diseñado para apoyar cursos de pregrado sobre métodos formales y sistemas distribuidos, y será invaluable para cualquier estudiante que busque una introducción fácil de leer a las especificaciones formales, lógicas y sistemas de inferencia, y técnicas automatizadas de verificación de modelos. | ||
650 | 0 |
_94187 _aPROCESAMIENTO ELECTRÓNICO DE DATOS _xPROCESAMIENTO DISTRIBUIDO |
|
650 | 0 |
_aREDES DE COMPUTADORES _99724 |
|
942 |
_2ddc _cBK |