Theory of program structures
Subtitle: schemes,semantics,verification.
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: Electronic digital computers -- Programming.; Computer programs.; Recursive programming.