Mathematical logic and programming languages
Hoare, C. A. R.(Charles Antony Richard),1934-
Shepherdson, J. C.(John Cedric)
Royal Society (Great Britain)
Englewood Cliffs London Prentice-Hall
c1985
"The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984". - Conference papers
First published in the Philosophical Transactions of the Royal Society, Series A, volume 312, 1984
Includes bibliographies
Programming languages (Electronic computers)