Prentice-Hall international series in computer science Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson

Mathematical logic and programming languages / ed. C. A. R. Hoare, J. C. Shepherdson . - Englewood Cliffs, New Jersey : Prentice-Hall, cop. 1985 . - 184 p. : il. 25 cm . - (Prentice-Hall international series in computer science)
0-13-561465-2