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

Remote Storage