Programas?paralelos.modelos?validacion

Synopsis de Programas?paralelos.modelos?validacion

«Programas paralelos. Modelos y validación» est un ouvrage d'informatique d'André Arnold et d'autres auteurs, publié par Ediciones Paraninfo en couverture souple.

Le livre traite de la programmation parallèle, c'est-à-dire de l'exécution simultanée de plusieurs tâches, et des modèles formels utilisés pour décrire ces programmes. Il aborde également les méthodes de validation qui permettent de vérifier le bon fonctionnement des systèmes parallèles, un domaine fondamental de l'informatique.

Première édition, en espagnol, publiée en 1993. Il s'inscrit dans le domaine des technologies de l'information.

Ouvrage de référence pour les étudiants et professionnels de l'informatique intéressés par la programmation parallèle et les méthodes de validation de logiciels.