{"product_id":"9788417289362","title":"PROGRAMACION CONCURRENTE Y EN TIEMPO REAL","description":"\u003ch2\u003ePROGRAMACION CONCURRENTE Y EN TIEMPO REAL\u003c\/h2\u003e\n\u003ch3\u003eResumen del libro\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e\n\u003ch3\u003e¿De qué trata?\u003c\/h3\u003e\n\u003cp\u003eLa 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.\u003c\/p\u003e\n\u003ch3\u003eTemas principales\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAlgoritmos y conceptos clásicos de programación concurrente.\u003c\/li\u003e\n\u003cli\u003eVerificación formal de propiedades de corrección en sistemas concurrentes y distribuidos.\u003c\/li\u003e\n\u003cli\u003eConstrucciones sintácticas y lenguajes para computación paralela de alto rendimiento.\u003c\/li\u003e\n\u003cli\u003eProgramación y análisis de tareas en sistemas de tiempo real.\u003c\/li\u003e\n\u003cli\u003eModelos teóricos unificados para el desarrollo de software concurrente y distribuido.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003e¿Para quién está recomendado?\u003c\/h3\u003e\n\u003cp\u003eEstá 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.\u003c\/p\u003e\n\u003ch3\u003eQué aporta este libro\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eComprensión sólida de los fundamentos teóricos y prácticos de la programación concurrente.\u003c\/li\u003e\n\u003cli\u003eCapacidad para especificar y verificar la corrección de sistemas concurrentes y distribuidos.\u003c\/li\u003e\n\u003cli\u003eConocimiento de las herramientas y lenguajes actuales para computación paralela.\u003c\/li\u003e\n\u003cli\u003eIntroducción clara a las técnicas de programación de tareas en tiempo real.\u003c\/li\u003e\n\u003cli\u003eEjercicios resueltos que facilitan la asimilación de conceptos complejos.\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eFicha técnica\u003c\/h3\u003e\n\u003cul\u003e\n\u003cli\u003eAutor: CAPEL TUÑON; MANUEL I.\u003c\/li\u003e\n\u003cli\u003eEditorial: Ibergarceta Publicaciones S.L.\u003c\/li\u003e\n\u003cli\u003eIdioma: Español\u003c\/li\u003e\n\u003cli\u003eTema: INFORMATICA: CUESTIONES GENERALES - PROGRAMACION INFORMATICA\/DESARROLLO DE SOFTWAR - CONCEPTOS DE PROGRAMACION. APRENDIZAJE DE LA PROGR\u003c\/li\u003e\n\u003cli\u003eColección: INGENIERIA\u003c\/li\u003e\n\u003cli\u003eEncuadernación: Otros\u003c\/li\u003e\n\u003cli\u003eFecha de edición: 2022\u003c\/li\u003e\n\u003cli\u003eNúmero de páginas: 342\u003c\/li\u003e\n\u003cli\u003eDimensiones: 17.0 cm x 24.0 cm\u003c\/li\u003e\n\u003cli\u003ePeso: 583.0 gr\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003ch3\u003eValoración editorial\u003c\/h3\u003e\n\u003cp\u003eEste 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.\u003c\/p\u003e","brand":"IBERGARCETA PUBLICACIONES S.L.","offers":[{"title":"Default Title","offer_id":53550566605147,"sku":"9788417289362","price":35.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/1018\/0650\/6331\/files\/978841728936.jpg?v=1783595212","url":"https:\/\/kalamobooks.com\/products\/9788417289362","provider":"Kalamo Books","version":"1.0","type":"link"}