TY  - BOOK
AU  - Aguero,Claudia Edith
TI  - INF.TESIS: Verificación de un modelo de especificación de una máquina de flujo de datos
PY  - 1995///
CY  - Santiago del Estero
KW  - Ciencia y tecnología de los ordenadores. Informática
ER  -