عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .G743 1975
QA
76
.
6
.
G743
1975
کتابخانه
محل استقرار
58810
آخر۲۷
English
)91(
Greibach, Sheila
1939-
Theory of program structures : schemes, semantics, verification
Berlin, New York
Springer-Verlag
1975
389 p. in various pagings : ill. ; 25 cm
Lecture notes in computer science, 63
Includes bibliography and index
، Electronic digital computers-- Programming
، Recursive programming
، Computer programs
QA
76
.
6
.
G743
1975
AU
Sheila A. Greibach
TI
SE
