PROGRAMAS PARALELOS: MODELOS Y VALIDACIÓN
ANDRE ARNOLD
PROGRAMAS PARALELOS: MODELOS Y VALIDACIÓN - 1A. ed - MADRID PARANINFO 1994 - 152 21.5
ATOMICIDAD
. -- MODELOS BASADOS EN ESTADO
. -- MODELOS BASADOS EN UN ORDEN PARCIAL
. -- VERIFICACIÓN DE PROPIEDADES
PROCESAMIENTO DE LA INFORMACIÓN
004..ARNO.00
PROGRAMAS PARALELOS: MODELOS Y VALIDACIÓN - 1A. ed - MADRID PARANINFO 1994 - 152 21.5
ATOMICIDAD
. -- MODELOS BASADOS EN ESTADO
. -- MODELOS BASADOS EN UN ORDEN PARCIAL
. -- VERIFICACIÓN DE PROPIEDADES
PROCESAMIENTO DE LA INFORMACIÓN
004..ARNO.00