The design of well-structured and correct programs.

Bibliographic Details
Main Author:	Alagic, Suad 1946-
Format:	Book
Language:	English
Published:	New York Springer-Verlag 1978
Series:	Texts and monographs in computer science
Subjects:	Electronic digital computers > Programming. PASCAL (Computer program language)