5785
5786
Hoare, C. A. R.
Mathematical logic and programming language
Englewood Cliffs, N.J.
Prentice-Hall International
c1985
184p.: ill
Prentice-Hall international series in computer science
Includes bibliographies
edited by C. A. R. Hoare and J. C. Shepherdson
، Programming languages )Electronic computers(
، Logic, Symbolic and mathematical
QA
76
.
6
.
M3646
1985
TI
AU Hoare, Charles Anthony Richard 1934-
AU Shepherdson, J.C.
SE
CL
CL
