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.
Editorial: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Ano de publicación: 1998
Páxinas: 65-72
Congreso: Jornadas de Concurrencia (6. 1998. Pamplona)
Tipo: Achega congreso