Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.
Contributor(s): Hoare, C. A. R. (Charles Antony Richard) | Shepherdson, J. C.
Material type: BookSeries: Prentice-Hall international series in computer science.Publisher: Englewood Cliffs, NJ : Prentice/Hall International, c1985Description: 184 p. : ill. ; 25 cm.ISBN: 0135614651.Subject(s): Programming languages (Electronic computers) | Logic, Symbolic and mathematicalDDC classification: 005.13Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 005.13 (Browse shelf(Opens below)) | 1 | Available | 00026771 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984.".
"The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984". - Conference papers.
Includes bibliographical references.