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

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

Any de publicació: 1998

Pàgines: 65-72

Congrés: Jornadas de Concurrencia (6. 1998. Pamplona)

Tipus: Aportació congrés