Un modelo transformacional para el razonamiento sobre tipos abstractos de datos

  1. Fernández Iglesias, Manuel J.
  2. Llamas Nistal, Martín
  3. Burguillo Rial, Juan Carlos
  4. Anido Rifón, Luis E.
Liburua:
VI Jornadas de Concurrencia

Argitaletxea: Universidad Pública de Navarra = Nafarroako Unibertsitate Publikoa

Argitalpen urtea: 1998

Orrialdeak: 65-72

Biltzarra: Jornadas de Concurrencia (6. 1998. Pamplona)

Mota: Biltzar ekarpena

DIALNET GOOGLE SCHOLAR
Datuen iturria: Dialnet