Filtrar por familias
X
PROGRAMACIÓN CONCURRENTE Y EN TIEMPO REAL (GARCETA
9788417289362
OFerta
PROGRAMACIÓN CONCURRENTE Y EN TIEMPO REAL (GARCETA
PROGRAMACIÓN CONCURRENTE Y EN TIEMPO REAL (GARCETA
9788417289362
PROGRAMACIÓN CONCURRENTE Y EN TIEMPO REAL
CAPEL TUÑÓN, MANUEL I.
GARCETA, 2022
ISBN 9788417289362
INFORMÁTICA
Consultar
5% Dto.
1,68
33,65
31,97
IVA 4%
NO incluido
Descripción
Este libro ayuda a comprender el conjunto de algoritmos, conceptos y ejemplos clásicos de Programación Concurrente, cuyo objetivo es facilitar el razonamiento, la especificación correcta y la demostración de las propiedades de corrección de sistemas concurrentes y distribuidos modernos. Este es el enfoque adecuado para aprender el funcionamiento de los sistemas distribuidos y de tiempo real, que debe basarse en los algoritmos y los métodos formales.
Se estudian las principales construcciones sintácticas útiles para desarrollar programas concurrentes, que incluyen los lenguajes de programación más utilizados, los marcos de trabajo y las interfaces de programación de aplicaciones del mayor interés actualmente para computación paralela de alto rendimiento.
Presenta un enfoque pedagógico con la incorporación de numerosos ejemplos, así como ejercicios resueltos, que sirven para facilitar la comprensión de los contenidos teóricos. Siempre que la notación de programación lo permite, se verifican las propiedades de corrección concurrentes (seguridad, vivacidad y equidad) de los algoritmos y protocolos utilizando para ello el sistema formal de la lógica de Hoare, ampliado para la verificación de programas paralelos y distribuidos.
El último capítulo está dedicado a introducir las técnicas básicas de programación y análisis de la programación de tareas en tiempo real. Con ello, el libro presenta una unidad temática y didáctica, ya que el desarrollo del software de los sistemas comparte modelos teóricos, que se derivan del modelo abstracto de computación que establece la concurrencia.

Contacto

Suscríbete a nuestras novedades

Déjanos tu e-mail y te mantendremos informado...

Política de Privacidad

INDICESOL, SL con CIF B93307221  es titular del sitio Web http://www.indicesol.es/ y tiene su domicilio en C/ Avda.Jorge Luis Borges, 61 (Juan Villarrazo,32) 29010 Málaga.

De acuerdo con la legislación vigente, INDICESOL ha adoptado las medidas técnicas y organizativas que garantizan la seguridad de los datos de carácter personal y evitan su alteración, pérdida, tratamiento o acceso no autorizado, habida cuenta del estado de la tecnología, la naturaleza de los datos almacenados y los riesgos a que estén expuestos, que han sido necesarias para su adecuación en materia de Protección de Datos de Carácter Personal, de conformidad con lo establecido en el RD 1720/ 2007 por el que se aprueba el Reglamento de desarrollo de la LOPD.

INDICESOL desea garantizar su privacidad en la utilización de nuestros servicios, por lo que a continuación le informamos de nuestra política de protección de datos personales.

Los datos de carácter personal que nos facilite a través del formulario de contacto y de sus correos, pasarán a formar parte de nuestros ficheros y se utilizarán para atender su solicitud de información, responder cualquier duda o pregunta que nos pudiera plantear y ponerse en contacto con usted. Nuestras respuestas tienen carácter informativo, por lo que no se derivará efecto jurídico vinculante alguno.

En todos los casos en que nos facilite datos que a través de esta Web los mismos podrán ser utilizados para remitirle por cualquier medio, incluidos medios electrónicos información sobre nuestros productos y servicios. Si no desea recibir información de nuestra empresa, envíe un correo a info@indicesol.es con el asunto “baja información” a la dirección en la que quiere dejar de recibir nuestras noticias.

INDICESOL se reserva el derecho de modificar su política de privacidad por motivos de adaptación a la legislación vigente, o similares, por lo que se recomienda al usuario de este sitio Web la revisión periódica de este apartado, ya que el uso del Web por parte del usuario se entenderá como aceptación de la política de privacidad vigente en ese momento.

Puede ejercer sus derechos de acceso, rectificación, cancelación u oposición por escrito junto con fotocopia de documento que acredite su identidad a la siguiente dirección: info@indicesol.es

 

© Copyright 2024 | Aviso legal | Política de privacidad | Cookies | Desarrollo web: INDICESOL

Impuestos NO incluidosInicioContacto
Ajustes de privacidad
Decide qué cookies quieres permitir.

Puedes cambiar estos ajustes en cualquier momento. Sin embargo, esto puede hacer que algunas funciones dejen de estar disponibles.

Esta web permitirá cookies de:
Guardar su configuración de cookies
Esta web no permitirá cookies de: