The design of well-structured and correct programs /

Bibliographic Details
Main Author: Alagic, Suad, 1946-
Other Authors: Arbib, Michael A., 1940-
Format: Book
Language:English
Published: New York : Springer, 1978.
Series:Texts and monographs in computer science
Subjects: