Designing reliable distributed systems: (Registro nro. 21598)
[ vista simple ]
| 000 -CABECERA | |
|---|---|
| Campo de control de longitud fija | 02490cam 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.<br/><br/>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.<br/>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 |
| 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 | Fecha última consulta | Fecha último préstamo | Número de ejemplar | Propiedades de Préstamo KOHA | Programa Académico |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Préstamo Normal | 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 | 3 | 621.3192 C958d | 028763 | 2019-08-09 | 2019-06-19 | 1 | LIBRO - MATERIAL GENERAL | Ingenieria Sistemas |
AK. 45 No. 205 - 59, Autopista Norte.
PBX: +60(1) 668 3600 - Bogotá.