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 e...
Ancho:
170
cm
Largo:
240
cm
Peso:
628 gr
Sense estoc - El demanem a l'editor (de 3 a 7 dies)
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
Aquest lloc web emmagatzema dades com galetes per habilitar la funcionalitat necessària de el lloc, inclosos anàlisi i personalització. Podeu canviar la seva configuració en qualsevol moment o acceptar els paràmetres per defecte.
Les galetes necessàries ajuden a fer una pàgina web utilitzable activant funcions bàsiques com la navegació a la pàgina i l'accés a àrees segures de la pàgina web. La pàgina web no pot funcionar adequadament sense aquestes galetes.
Personalització
Les galetes de personalització permeten a la pàgina web recordar informació que canvia la forma en què la pàgina es comporta o l'aspecte que té, com el seu idioma preferit o la regió en la qual vostè es troba.
Anàlisi
Les galetes estadístiques ajuden als propietaris de pàgines web a comprendre com interactuen els visitants amb les pàgines web reunint i proporcionant informació de forma anònima.
Marketing
Les galetes de màrqueting s'utilitzen per rastrejar als visitants en les pàgines web. La intenció és mostrar anuncis rellevants i atractius per a l'usuari individual, i per tant, més valuosos per als editors i tercers anunciants.
