Theory of program structures
Subtitle: schemes, semantics, verification
By: Sheila A. Greibach.
Series: Lecture notes in computer science ;; 36
Publisher: Springer-Verlag
Published: 1975
Place of publication: Berlin; New York
Language: eng
Number of pages: 389
Subjects: Computer programming; Recursive programming; Computer programs
Notes: Includes bibliography and index.