Ambos libros se centran en la programación concurrente en Java, ofreciendo teorías y principios para construir sistemas eficientes y robustos.
Concurrency: State Models & Java Programs
por Jeff Magee, Jeff Kramer · 1999
Ver sugerenciasSinopsis
Este libro introduce el modelado de sistemas concurrentes utilizando modelos de estados y transiciones, y luego aplica estos conceptos a la implementación de programas concurrentes en Java. Se enfatiza en la verificación y la comprensión formal del comportamiento concurrente.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Walter M. T. van der Aalst
2002·divulgacion
Este texto utiliza métodos formales para verificar sistemas concurrentes, alineándose con el enfoque de verificación del libro de referencia.
Programming Concurrency on the JVM: Mastering Synchronization, Messaging, and Distribution
Venkat Subramaniam
2012·divulgacion
Aborda la programación en la Java Virtual Machine, conectando con la temática de implementación de programas concurrentes en Java.
Presenta principios y técnicas de ingeniería para sistemas concurrentes, similar al modelo teórico de estados y transiciones del libro de referencia.
Explora fundamentos teóricos y métodos formales para la verificación en sistemas concurrentes, al igual que el enfoque formal del libro de referencia.
Ofrece soluciones prácticas para problemas de concurrencia en Java, alineándose con el énfasis en la programación concurrente del texto original.