Livres (2) Publications auxquelles un chercheur a participé

1990

  1. Verificación de programas y metodología de la programación

    Bilbao : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitzua, Euskal Herrio Unibersitatea, 1990

  2. Visión funcional de los sistemas operativos

    Bilbao? : Servicio Editorial, Universidad del País Vasco = Argitarapen Zerbitarapen Zerbitzua, Euskal Herriko Univertsitatea, D.L. 1990