
per LIBRERIA ARMAND COLIN · Tapa blanda · ISBN 9788428320597
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Programas paralelos. Modelos y validación» és una obra d'informàtica d'André Arnold i altres autors, publicada per Ediciones Paraninfo en tapa tova.
El llibre tracta de la programació paral·lela, és a dir, de l'execució simultània de diverses tasques, i dels models formals que s'usen per descriure aquests programes. També aborda els mètodes de validació que permeten comprovar el correcte funcionament dels sistemes paral·lels, una àrea fonamental de la informàtica.
Primera edició, en castellà, publicada el 1993. S'emmarca en l'àmbit de les tecnologies de la informació.
Obra de referència per a estudiants i professionals d'informàtica interessats en la programació paral·lela i en els mètodes de validació de programari.

Libro de bolsillo