{"product_id":"concurrency-the-works-of-leslie-lamport-9781450372718","title":"Concurrencia: La obra de Leslie Lamport","description":"\u003cp\u003e\u003cb\u003eEste libro es una celebración del trabajo de Leslie Lamport sobre concurrencia, entrelazado en cuatro décadas y media de una industria en evolución: desde la introducción del primer ordenador personal hasta una era en la que los multiprocesadores paralelos y distribuidos son abundantes.\u003c\/b\u003e\u003c\/p\u003e \u003cp\u003eSus trabajos sentaron las bases formales para los cálculos concurrentes ejecutados por ordenadores interconectados. Algunos de los algoritmos se han convertido en práctica de ingeniería estándar para la computación distribuida tolerante a fallos, es decir, sistemas distribuidos que siguen funcionando correctamente a pesar de los fallos de los componentes individuales. También desarrolló un corpus sustancial de trabajo sobre la especificación y verificación formal de sistemas concurrentes, y ha contribuido al desarrollo de herramientas automatizadas que aplican estos métodos.\u003c\/p\u003e \u003cp\u003eLa Parte I consta de capítulos técnicos del libro y una biografía. Los capítulos técnicos de este libro presentan una retrospectiva de las ideas originales de Lamport a cargo de expertos en la materia. A través de esta lente, se retrata su impacto duradero. Los capítulos cubren nociones atemporales introducidas por Lamport: el algoritmo de la Panadería, los registros compartidos atómicos y la consistencia secuencial; la causalidad y el tiempo lógico; el Acuerdo Bizantino; la replicación de máquinas de estado y Paxos; la lógica temporal de acciones (TLA). La biografía profesional narra la carrera de Lamport, proporcionando el contexto en el que surgió y abrió nuevos caminos su trabajo, y analiza LaTeX, quizás la contribución más influyente de Lamport fuera del campo de la concurrencia. Este capítulo da voz a las personas detrás de los logros, en particular al propio Lamport, y además a los colegas que lo rodearon, que lo inspiraron, colaboraron y lo ayudaron a impulsar un impacto mundial. La Parte II consta de una selección de los trabajos más influyentes de Leslie Lamport.\u003c\/p\u003e \u003cp\u003eEste libro aborda una vida de contribuciones de Leslie Lamport al campo de la concurrencia y la extensa influencia que tuvo en las personas que trabajan en el campo. Será de valor para los historiadores de la ciencia, y para los investigadores y estudiantes que trabajan en el área de la concurrencia y que estén interesados en leer sobre el trabajo de uno de los investigadores más influyentes en este campo.\u003c\/p\u003e\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAutor:\u003c\/b\u003e \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=AUTH-3120181\"\u003eDahlia Malkhi\u003c\/a\u003e\u003cbr\u003e\u003cb\u003eEditorial:\u003c\/b\u003e ACM Books\u003cbr\u003e\u003cb\u003ePublicado:\u003c\/b\u003e 16\/09\/2019\u003cbr\u003e\u003cb\u003ePáginas:\u003c\/b\u003e 365\u003cbr\u003e\u003cb\u003eTipo de encuadernación:\u003c\/b\u003e Tapa blanda\u003cbr\u003e\u003cb\u003ePeso:\u003c\/b\u003e 1.38 libras\u003cbr\u003e\u003cb\u003eTamaño:\u003c\/b\u003e 9.25h x 7.50w x 0.76d\u003cbr\u003e\u003cb\u003eISBN13:\u003c\/b\u003e 9781450372718\u003cbr\u003e\u003cb\u003eISBN10:\u003c\/b\u003e 1450372716\u003cbr\u003e\u003cb\u003eCategorías BISAC:\u003c\/b\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM048000\"\u003eSistemas distribuidos | General\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM014000\"\u003eCiencias de la computación\u003c\/a\u003e\u003cbr\u003e- \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=CAT-COM\"\u003eInformática\u003c\/a\u003e | \u003ca href=\"https:\/\/sureshotbooks-com.myshopify.com\/search?type=product%2Carticle%2Cpage\u0026amp;q=BISAC-COM011000\"\u003eArquitectura informática\u003c\/a\u003e\u003cbr\u003e","brand":"ACM Books","offers":[{"title":"Default Title","offer_id":44544429293805,"sku":"9781450372718","price":119.93,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0550\/8097\/6621\/products\/img_eb473a9a-1308-4f88-bb66-790abf423c41.jpg?v=1701557071","url":"https:\/\/sureshotbooks.com\/es\/products\/concurrency-the-works-of-leslie-lamport-9781450372718","provider":"SureShot Books Publishing LLC","version":"1.0","type":"link"}