Verificaçao e construçao de programas
Veloso, Paulo A. S.
Verificaçao e construçao de programas - 1a ed. - Campinas : UNICAMP, 1986 - xi, 211 p. : il. ; 23 cm. - Colección EBAI .
Libro editado para la I Escuela Brasileño-Argentina de Informática realizada en Campinas, Brasil, del 17 de febrero al 1 de marzo de 1986.
DIF001933
VERIFICACIÓN DE PROGRAMAS
PROGRAMACIÓN
Verificaçao e construçao de programas - 1a ed. - Campinas : UNICAMP, 1986 - xi, 211 p. : il. ; 23 cm. - Colección EBAI .
Libro editado para la I Escuela Brasileño-Argentina de Informática realizada en Campinas, Brasil, del 17 de febrero al 1 de marzo de 1986.
DIF001933
VERIFICACIÓN DE PROGRAMAS
PROGRAMACIÓN