Cover Image

Mathematical logic and programming languages /

Bibliographic Details
Corporate Author: Royal Society (Great Britain)
Other Authors: Hoare, C. A. R. (Charles Antony Richard), 1934-, Shepherdson, J. C. (John Cedric)
Format: Book
Language:English
Published: Englewood Cliffs ; London : Prentice-Hall, [1985]
Series:Prentice-Hall international series in computer science.
Subjects:
Programming languages (Electronic computers)
Digital computer systems > Programming languages > Design
Description
Item Description:"The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984". - Conference papers.
Physical Description:184 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographies.
ISBN:0135614651 :