Algorithmic program debugging /

Bibliographic Details

Main Author:	Shapiro, Ehud Y.
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1983]
Series:	ACM distinguished dissertations.
Subjects:	Debugging in computer science. Prolog (Computer program language)