Biblioteca

Designing reliable distributed systems: (Record no. 21598)

000 -CABECERA
Campo de control de longitud fija 02491cam a2200193 a 4500
007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA
DESCRIPCIÓN FÍSICA ta
008 - CAMPO FIJO DE DESCRIPCIÓN FIJA--INFORMACIÓN GENERAL
Campo de control de longitud fija 170908s2017 enka ||f |||| 001 0 eng d
020 ## - ISBN (INTERNATIONAL STANDARD BOOK NUMBER)
ISBN 9781447166863
082 ## - NÚMERO DE LA CLASIFICACIÓN DECIMAL DEWEY
Número de clasificación Decimal 621.3192
Número de documento (Cutter) C958d
Número de edición DEWEY 23
100 ## - ENCABEZAMIENTO PRINCIPAL--NOMBRE PERSONAL
Nombre de persona Csaba Ölveczky, Peter.
9 (RLIN) 4856
245 ## - TÍTULO PROPIAMENTE DICHO
Título Designing reliable distributed systems:
Parte restante del título A formal methods approach based on executable modeling in maude /
Mención de responsabilidad, etc. Peter Csaba Ölveczky.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC (PIE DE IMPRENTA)
Lugar de publicación, distribución, etc. London:
Nombre del editor, distribuidor, etc. Springer,
Fecha de publicación, distribución, etc. 2017.
300 ## - DESCRIPCIÓN FÍSICA
Extensión xviii, 313 p.:
Otros detalles físicos il.,;
Dimensiones 24 cm.
504 ## - NOTA DE BIBLIOGRAFÍA, ETC.
Enlace Incluye índice
520 ## - RESUMEN, ETC.
Nota de sumario, etc. Este 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 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
9 (RLIN) 4187
Nombre de materia o nombre geográfico como elemento de entrada PROCESAMIENTO ELECTRÓNICO DE DATOS
Subdivisión general PROCESAMIENTO DISTRIBUIDO
650 #0 - ASIENTO SECUNDARIO DE MATERIA--TÉRMINO DE MATERIA
Nombre de materia o nombre geográfico como elemento de entrada REDES DE COMPUTADORES
9 (RLIN) 9724
942 ## - ELEMENTOS KOHA
Fuente de clasificación o esquema de ordenación en estanterías
Koha tipo de item LIBRO - MATERIAL GENERAL
Holdings
Disponibilidad Mostrar en OPAC Fuente de clasificación o esquema Tipo de Descarte Estado Código de colección Localización permanente Localización actual Localización en estanterías Fecha adquisición Proveedor Forma de Adq Precio normal de compra Datos del ítem (Volumen, Tomo) Número de Inventario Préstamos totales Signatura completa Código de barras Prestado Fecha última consulta Fecha último préstamo Número de ejemplar Propiedades de Préstamo KOHA Programa Académico
          Colección General Biblioteca Jorge Álvarez Lleras Biblioteca Jorge Álvarez Lleras Fondo general 2018-09-21 Amazon - 444444001 - OC25684 Compra 160374.00 Ej.1 BIB0003468 2 621.3192 C958d 028763 2019-05-06 2019-04-10 2019-04-10 1 LIBRO - MATERIAL GENERAL Ingenieria Sistemas