Programas?paralelos.modelos?validacion

Sinossi di Programas?paralelos.modelos?validacion

«Programas paralelos. Modelos y validación» è un'opera di informatica di André Arnold e altri autori, pubblicata da Ediciones Paraninfo in brossura.

Il libro tratta la programmazione parallela, cioè l'esecuzione simultanea di più compiti, e i modelli formali usati per descrivere questi programmi. Affronta anche i metodi di validazione che permettono di verificare il corretto funzionamento dei sistemi paralleli, un'area fondamentale dell'informatica.

Prima edizione, in spagnolo, pubblicata nel 1993. Si colloca nell'ambito delle tecnologie dell'informazione.

Opera di riferimento per studenti e professionisti di informatica interessati alla programmazione parallela e ai metodi di validazione del software.