Recursive program schemes
Subtitle: semantics and proof theory
By: W. P. de Roever, Jr.
Series: Mathematical Centre tracts ; 70; Mathematical Centre tracts ;; 70.
Publisher: Mathematisch Centrum
Published: 1976
Place of publication: Amsterdam
Language: eng
Number of pages: 112
Subjects: Programming languages (Electronic computers) -- Semantics.; Recursive programming.; Proof theory.
Notes: Bibliography: p. 108-112.