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.
Verlag: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa
Datum der Publikation: 1998
Seiten: 65-72
Kongress: Jornadas de Concurrencia (6. 1998. Pamplona)
Art: Konferenz-Beitrag