Anbieter: Agapea Libros, Malaga, MA, Spanien
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. Bestandsnummer des Verkäufers 21644037
Anzahl: 1 verfügbar
Anbieter: Antártica, Madrid, M, Spanien
Rustica (tapa blanda). Zustand: New. Zustand des Schutzumschlags: Nuevo. 01. 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. LIBRO. Bestandsnummer des Verkäufers 1348141
Anzahl: 1 verfügbar
Anbieter: KALAMO BOOKS, Burriana, CS, Spanien
Tapa blanda. Zustand: Nuevo. Bestandsnummer des Verkäufers DTF9788417289362
Anzahl: 1 verfügbar
Anbieter: Siglo Actual Libros, Soria, SO, Spanien
Rústica. Zustand: Nuevo. Zustand des Schutzumschlags: Nuevo. Icar. Bestandsnummer des Verkäufers SAL8417289362
Anzahl: 3 verfügbar
Anbieter: Imosver, PONTECALDELAS, PO, Spanien
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. Bestandsnummer des Verkäufers CIM0000144
Anzahl: 4 verfügbar
Anbieter: Hilando Libros, Madrid, M, Spanien
RUSTICA. Zustand: NUEVO. 342 pages/páginas. Bestandsnummer des Verkäufers 9788417289362
Anzahl: 1 verfügbar
Anbieter: Librerias Prometeo y Proteo, Malaga, MA, Spanien
Rústica. Zustand: New. Zustand des Schutzumschlags: Nuevo. 01. 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. LIBRO. Bestandsnummer des Verkäufers 3211996
Anzahl: 1 verfügbar