Desarrollo plausible de pruebas de correctitud de programas - Gómez-Meneses, Vicente (Cartago, Costa Rica : V.Gómez M., 1988)
Consultar en el disco de computadora apéndices.
Proyecto de graduación
Bibliografía
ITCR
COTA
CSUCA
Keywords: Tecnología y desarrollo; Automatización; Computadoras; Programas para computadora; Herramientas informáticas; Tesis