Axiomatising the logic of computer programming
By: Robert Goldblatt.
Series: Lecture notes in computer science ;; 130
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 304
Subjects: Programming languages (Electronic computers) -- Semantics.; Proof theory.
Notes: Bibliography: p. 291-298.
Includes index.