Axiomatising the logic of computer programming
519.4
G618A Goldblatt, Robert
Axiomatising the logic of computer programming
-- New York : Springer-Verlag , 1982
310406 xi, 304p.
Semantics
Proof theory
Programming languages (Electronic computers)
G618A Goldblatt, Robert
Axiomatising the logic of computer programming
-- New York : Springer-Verlag , 1982
310406 xi, 304p.
Semantics
Proof theory
Programming languages (Electronic computers)