عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.36
QA
76
.
L28
Vol
.
36
کتابخانه
محل استقرار
Theory of program structures : schemes, semantics, Verification
Berlin
Springer-Verlag
c1975
1v. )Various Pagings(: ill
Lecture notes in computer science; 63
Bibliography: p. B.1-B.4
ISBN: 3540074155
Sheila A, Greibach
1
، Computer programming
، Recursive programming
، Computer programs
QA
76
.
L28
Vol
.
36
Greibach, Sheila A., 9391-
AU
TI
SE
