Mathematical logic and programming languages
edited by C. A. R. Hoare and J. C. Shepherdson
Bok Språk ikke angitt 1985
| Utgitt | Englewood Cliffs, N.J. : Prentice/Hall , c1985
|
|---|---|
| Omfang | 184 s. : fig.
|
| Opplysninger | "... reports a discussion meeting of the Royal Society of London, held on 15 and 16 February 1984" - Forordet.. - "The papers in this book were first published in the Philosophical Transactions of the Royal Society, Series A, Volume 312, 1984."
|
| Emner | |
| ISBN | 0135614651
|
