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

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

ISBN: 84-7585-266-1

Argitalpen urtea: 1990

Mota: Liburua