Livres (1) 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