Research Catalog

Mathematical logic and programming languages

Title: Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.
Publication: Englewood Cliffs, N.J. : Prentice/Hall International, c1985.

Filter by

Item details
Status	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	Text	Request in advance	JSE 87-1629	Offsite

Additional Authors

Description

184 p. : ill.; 25 cm.

Series Statement

Prentice Hall International series in computer science

Subjects

Note

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

Bibliography (note)

Call Number

JSE 87-1629

ISBN

0135614651

LCCN

85167183

OCLC

Title

Mathematical logic and programming languages / edited by C.A.R. Hoare and J.C. Shepherdson.

Imprint

Englewood Cliffs, N.J. : Prentice/Hall International, c1985.

Series

Prentice Hall International series in computer science

Bibliography

Includes bibliographies.

Added Author

Hoare, C. A. R. (Charles Antony Richard), 1934-

Shepherdson, J. C.

Research Call Number

JSE 87-1629