The design of well-structured and correct programs.

מידע ביבליוגרפי
מחבר ראשי: Alagic, Suad 1946-
פורמט: ספר
שפה:English
יצא לאור: New York Springer-Verlag 1978
סדרה:Texts and monographs in computer science
נושאים: