Un modelo transformacional para el razonamiento sobre tipos abstractos de datos
- Fernández Iglesias, Manuel J.
- Llamas Nistal, Martín
- Burguillo Rial, Juan Carlos
- Anido Rifón, Luis E.
Éditorial: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Année de publication: 1998
Pages: 65-72
Congreso: Jornadas de Concurrencia (6. 1998. Pamplona)
Type: Communication dans un congrès