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