Description: Proving programs correct/

Main Author:	Anderson, Robert Brockett
Format:	Book
Language:	English
Published:	New York: John Wiley & Sons, c 1979
Subjects:	Computer programs-Testing Debugging in computer science

Physical Description:	viii, 184 p. : diagr., tabl. ; 23 cm.
Bibliography:	Includes bibliography ( p. 170-182) and index
ISBN:	0471033952