An extended unfold-fold system for program synthesis

Detalles Bibliográficos
Autor principal: Arcas-Guijarro, Miguel (-)
Otros Autores: Pareja-Flores, Cristóbal, Velázquez-Iturbide, J. Angel
Formato: Libro
Idioma:Inglés
Publicado: Móstoles : Universidad Rey Juan Carlos [1998]
Colección:Technical reports. Informatics and applied mathmatics ; 98-09
Materias:
Descripción
Descripción Física:12 p. ; 21 cm