Mathematical logic and programming languages :: ISBN 0135614651 :: Prentice-Hall 1985 :: OBNB, the Open British National Bibliography

Publication Data

Title Mathematical logic and programming languages
Contributors C. A. R. Hoare, J. C. Shepherdson, Royal Society
Publisher Prentice-Hall
Publication date 1985
Publication location Englewood Cliffs
Language English

Descriptive Notes

"The papers in this book were first published in the Philosophical transactions of the Royal Society, series A, volume 312, 1984”. _ Conference papers.

Topics

Programming languages (Electronic computers)
Logic, Symbolic and mathematical

Catalogue Data

OBNB ID GB8527960
ISBN 10 0135614651
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.13

ISBD

P1053 184p.
P1042 Includes bibliographies.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Mathematical logic and programming languages. ISBN 0135614651. Published by Prentice-Hall in 1985. Publication and catalogue information, links to buy online and reader comments.