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.
Libro:
VI Jornadas de Concurrencia

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

DIALNET GOOGLE SCHOLAR
Fonte de datos: Dialnet