Department
Lenguajes y Sistemas Informáticos
Books (1) Publications in which a researcher has participated
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