35593
Greinach, Sheila
9391-
Theory of program structures:Schemes, Semantics, Verification
Barlin; New York
Springer-Verlag
1975
389P. in various paginger: ill
Lecture notes in computer science, 63
Includes bibliographies and index
Sheila A. Greibach
Programming ، Electronic digital computers
Recurlive programming
، Computer programs
QA
76
.
6
.
G743
1975
AU
TI
SE
CLنوجی
