Alpuente Frasnedo, María
María Alpuente Frasnedo académica e investigadora española especializada en informática
VIAF ID: 86445331 (Personal)
Permalink: http://viaf.org/viaf/86445331
Preferred Forms
4xx's: Alternate Name Forms (16)
Works
Title | Sources |
---|---|
Functional and logic programming | |
Fundamentos de programación | |
Gulp-Prode '95 : Joint conference on declarative programming, Marina di Vietri sul Mare, Italy, 11-14 september, 1995. / Maria I. Sessa, Maria Alpuente Frasnedo eds | |
Imposing assertions in Maude via program transformation | |
Model checking for the concurrent constraint paradigm / Alicia Villanueva García ; supervisors: Moreno Falaschi, María Alpuente Frasnedo | |
Programación lógica : teoría y práctica |