door LIBRERIA ARMAND COLIN · Tapa blanda · ISBN 9788428320597
Hamelyn kwaliteitsgarantie · gecontroleerd en geverifieerd, of geld terug
«Programas paralelos. Modelos y validación» is een informaticawerk van André Arnold en andere auteurs, uitgegeven door Ediciones Paraninfo in paperback.
Het boek behandelt parallel programmeren, dat wil zeggen de gelijktijdige uitvoering van meerdere taken, en de formele modellen die worden gebruikt om deze programma's te beschrijven. Het bespreekt ook validatiemethoden waarmee de correcte werking van parallelle systemen kan worden gecontroleerd, een fundamenteel gebied van de informatica.
Eerste editie, in het Spaans, gepubliceerd in 1993. Het valt binnen het domein van de informatietechnologieën.
Referentiewerk voor studenten en professionals in de informatica die geïnteresseerd zijn in parallel programmeren en softwarevalidatiemethoden.
