Département
Lenguajes y Sistemas Informáticos
Livres (1) Publications auxquelles un chercheur a participé
1990
-
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