TY  - BOOK
AU  - Alagić, Suad
AU  - Arbib, Michael A.
TI  - The design of well-structured and correct programs
T2  - Texts and monographs in computer science
PY  - 1978///]
CY  - New York
PB  - Springer-Verlag
KW  - კომპიუტერული ტექნოლოგიები
KW  - კომპიუტერული პროგრამირება
N1  - Bibliography: p. 249-252
ER  -