por LIBRERIA ARMAND COLIN · Tapa blanda · ISBN 9788428320597
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Programas paralelos. Modelos y validación» é uma obra de informática de André Arnold e outros autores, publicada pela Ediciones Paraninfo em brochura.
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.
