Programas?paralelos.modelos?validacion

Sinopsis de Programas?paralelos.modelos?validacion

«Programas paralelos. Modelos y validación» es una obra de informática de André Arnold y otros autores, publicada por Ediciones Paraninfo en tapa blanda.

El libro se ocupa de la programación paralela, es decir, de la ejecución simultánea de varias tareas, y de los modelos formales que se usan para describir estos programas. También aborda los métodos de validación que permiten comprobar el correcto funcionamiento de los sistemas paralelos, un área fundamental de la informática.

Primera edición, en español, publicada en 1993. Se enmarca en el ámbito de las tecnologías de la información.

Obra de referencia para estudiantes y profesionales de informática interesados en la programación paralela y en los métodos de validación de software.