ANDRE ARNOLD<br/> <br/><br/>
PROGRAMAS PARALELOS: MODELOS Y VALIDACIÓN 

 - 1A. ed 
 - MADRID  PARANINFO  1994 
 - 152  21.5 
<br/><br/>ATOMICIDAD<br/>. -- MODELOS BASADOS EN ESTADO<br/>. -- MODELOS BASADOS EN UN ORDEN PARCIAL<br/>. -- VERIFICACIÓN DE PROPIEDADES 
<br/><br/><label>Subjects--Topical Terms: </label><br/>PROCESAMIENTO DE LA INFORMACIÓN
<br/><br/><label>Dewey Class. No.: </label>004..ARNO.00