Suchergebnisse für Programación concurrente: Fundamentos y aplicaciones
Foto des Verkäufers
PROGRAMACION CONCURRENTE Y EN TIEMPO REAL
Verlag:
IBERGARCETA PUBLICACIONES S.L. (TEXTO), 2022
ISBN 10: 8417289364
ISBN 13: 9788417289362
Neu
Softcover
Anbieter: Agapea Libros, Malaga, MA, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla. Artikel-Nr. 21644037
Neu kaufen
EUR 33,25
EUR 19,30 shipping
Versand von Spanien nach USA
Versand von Spanien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
PROGRAMACION CONCURRENTE Y EN TIEMPO REAL
Anbieter: KALAMO BOOKS, Burriana, CS, Spanien
Verkäuferbewertung 5 von 5 Sternen
Tapa blanda. Zustand: Nuevo. 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. Artikel-Nr. DTF9788417289362
Neu kaufen
EUR 34,82
EUR 23,90 shipping
Versand von Spanien nach USA
Versand von Spanien nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Programación concurrente Fundamentos y aplicaciones
Anbieter: Imosver, PONTECALDELAS, PO, Spanien
Verkäuferbewertung 5 von 5 Sternen
Zustand: Nuevo. 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 pa. Artikel-Nr. CIM0000144
Neu kaufen
EUR 35,00
EUR 28,60 shipping
Versand von Spanien nach USA
Versand von Spanien nach USA
Anzahl: 3 verfügbar