Programas?paralelos.modelos?validacion

Sinopse de Programas?paralelos.modelos?validacion

«Programas paralelos. Modelos y validación» é uma obra de informática de André Arnold e outros autores, publicada pela Ediciones Paraninfo em brochado.

O livro trata da programação paralela, ou seja, da execução simultânea de várias tarefas, e dos modelos formais usados para descrever esses programas. Aborda também os métodos de validação que permitem verificar o correto funcionamento dos sistemas paralelos, uma área fundamental da informática.

Primeira edição, em espanhol, publicada em 1993. Insere-se no âmbito das tecnologias da informação.

Obra de referência para estudantes e profissionais de informática interessados na programação paralela e nos métodos de validação de software.