Mathematical logic and programming languages /
edited by C.A.R. Hoare and J.C. Shepherdson. -
- Englewood Cliffs, N.J. : Prentice-Hall, 1985.
- 184 p. : ill., diagrams.
Includes bibliographical references.
0-13-561465-1
Programming languages (Electronic computers)
Logic, Symbolic and mathematical.
Digital computer systems--Design--Programming language
QA76.6 / M38