Yaba, un asistente interativo para la derivación de programas /

El presente trabajo consiste en una herramienta gráfica creada para asistir la derivación y transformación de programas. Dicha herramienta está basada en la lógica ecuacional. En el trabajo se hará una pequeña revisión del marco teórico utilizado para realizar derivaciones, se presentará la demostra...

Full description

Bibliographic Details
Main Author: Gertel, Matías
Other Authors: Mancuso, Bruno
Format: Thesis Book
Language:Spanish
Published: [S.l. : s.n.], 2001.
Subjects: