Descripción
PROGRAMACION CONCURRENTE Y EN TIEMPO REAL
Resumen del libro
Este manual proporciona una comprensión profunda de los algoritmos, conceptos y ejemplos clásicos de la programación concurrente, esenciales para el desarrollo de sistemas concurrentes y distribuidos modernos. Con un enfoque pedagógico, el libro integra teoría y práctica mediante numerosos ejemplos y ejercicios resueltos, facilitando el aprendizaje de la especificación, verificación y corrección de programas. Además, introduce las técnicas fundamentales de programación de tareas en tiempo real, ofreciendo una visión completa y unitaria del desarrollo de software en estos ámbitos.
¿De qué trata?
La obra aborda el estudio de las principales construcciones sintácticas para el desarrollo de programas concurrentes, incluyendo lenguajes de programación populares, marcos de trabajo y APIs de alto rendimiento. Se centra en el razonamiento formal y la demostración de propiedades de corrección como seguridad, vivacidad y equidad, utilizando la lógica de Hoare ampliada para programas paralelos y distribuidos. El último capítulo se dedica a la programación y análisis de tareas en tiempo real, cerrando el círculo temático al compartir modelos teóricos derivados de la concurrencia.
Temas principales
- Algoritmos y conceptos clásicos de programación concurrente.
- Verificación formal de propiedades de corrección en sistemas concurrentes y distribuidos.
- Construcciones sintácticas y lenguajes para computación paralela de alto rendimiento.
- Programación y análisis de tareas en sistemas de tiempo real.
- Modelos teóricos unificados para el desarrollo de software concurrente y distribuido.
¿Para quién está recomendado?
Está dirigido a estudiantes y profesionales de informática, ingeniería de software y ciencias de la computación que deseen profundizar en la programación concurrente, distribuida y de tiempo real. Es especialmente útil para aquellos que buscan un enfoque riguroso basado en métodos formales y ejemplos prácticos, así como para desarrolladores que necesiten fundamentos sólidos para trabajar con sistemas paralelos y de alto rendimiento.
Qué aporta este libro
- Comprensión sólida de los fundamentos teóricos y prácticos de la programación concurrente.
- Capacidad para especificar y verificar la corrección de sistemas concurrentes y distribuidos.
- Conocimiento de las herramientas y lenguajes actuales para computación paralela.
- Introducción clara a las técnicas de programación de tareas en tiempo real.
- Ejercicios resueltos que facilitan la asimilación de conceptos complejos.
Ficha técnica
- Autor: CAPEL TUÑON; MANUEL I.
- Editorial: Ibergarceta Publicaciones S.L.
- Idioma: Español
- Tema: INFORMATICA: CUESTIONES GENERALES - PROGRAMACION INFORMATICA/DESARROLLO DE SOFTWAR - CONCEPTOS DE PROGRAMACION. APRENDIZAJE DE LA PROGR
- Colección: INGENIERIA
- Encuadernación: Otros
- Fecha de edición: 2022
- Número de páginas: 342
- Dimensiones: 17.0 cm x 24.0 cm
- Peso: 583.0 gr
Valoración editorial
Este libro destaca por su enfoque equilibrado entre teoría formal y aplicación práctica, lo que lo convierte en una referencia útil para quienes buscan dominar la programación concurrente y de tiempo real. La inclusión de ejercicios resueltos y la verificación de propiedades mediante lógica de Hoare aportan un valor didáctico notable, adecuado tanto para el aula como para el autoaprendizaje. Es una obra recomendable para cualquier profesional o estudiante que necesite una base sólida y actualizada en estas áreas clave de la informática.