Annual Member
| Author | Goldblatt, Robert. author |
|---|---|
| Title | Axiomatising the Logic of Computer Programming [electronic resource] / by Robert Goldblatt |
| Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1982 |
| Connect to | http://dx.doi.org/10.1007/BFb0022481 |
| Descript | XIII, 304 p. online resource |
Conceptual background -- The logical structure of commands -- Assignments -- Appendix 1 Some related studies -- Function declarations -- Procedures -- Arrays
