Algorithmic program debugging
Shapiro, Ehud Y.
Algorithmic program debugging - Cambridge : [S.n.], 1983 - xiv, 232 p. ; 24 cm. - ACM distinguished dissertations .
Tesis, Yale University, 1982.
0262192187
DIF-M2420
PRUEBA Y DEPURACIÓN DE SOFTWARE
PROLOG
Algorithmic program debugging - Cambridge : [S.n.], 1983 - xiv, 232 p. ; 24 cm. - ACM distinguished dissertations .
Tesis, Yale University, 1982.
0262192187
DIF-M2420
PRUEBA Y DEPURACIÓN DE SOFTWARE
PROLOG