Concurrencia y sistemas distribuidos

Este libro presenta los fundamentos de las máquinas teóricas conocidas como autómatas finitos, autómatas a pila y máquinas de Turing. En esta nueva edición del libro se han introducido los fundamentos para la aplicación práctica de este tipo de máquinas en la construcción de los analizadores necesarios para la compilación de lenguajes de programación. Además, se han introducido los fundamentos para la minimización de autómatas con el objetivo de servir de base para rutinas de análisis más eficaces

"A comprehensive overview of the challenges teams face when moving to microservices, with industry-tested solutions to these problems." - Tim Moore, Lightbend 44 reusable patterns to develop and deploy reliable production-quality microservices-based applications, with worked examples in Java Key Features 44 design patterns for building and deploying microservices applications Drawing on decades of unique experience from author and microservice architecture pioneer Chris Richardson A pragmatic approach to the benefits and the drawbacks of microservices architecture Solve service decomposition, ...

Debian GNU/Linux, una distribución de Linux no comercial y muy popular, es conocida por su fiabilidad y riqueza. Creada y mantenida por una impresionante red de miles de desarrolladores alrededor del mundo, el proyecto Debian está basado en su contrato social. Este texto fundacional define el objetivo del proyecto: satisfacer las necesidades de los usuarios proporcionándoles un sistema operativo 100% libre. El éxito de Debian y el ecosistema de sus distribuciones derivadas (con Ubuntu en la cabeza) indica que hay un creciente número de administradores que están sujetos a las...

Actualizado a la ultima Kali: 2017.2 Kali es una distribucion de Linux que contiene centenares de herramientas para hacer pentesting (auditoria de seguridad con test de intrusion). Los tests de penetracion corresponden con auditorias de seguridad proactivas, en las que el auditor analiza la seguridad de un sistema verificando in situ si el sistema es vulnerable. Para ello, despues de la firma de los respectivos contratos y autorizaciones, el auditor ataca la infraestructura de red y los servidores con objeto de validar si son vulnerables a ataques concretos conocidos por la comunidad de...