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

Saved in:

Bibliographic Details
Published:	Englewood Cliffs, N.J. : Prentice/Hall International, c1985.
Other Authors:	Hoare, C. A. R. (Charles Anthony Richard), 1934- Shepherdson, J. C. (John Cedric)
Series:	Prentice-Hall international series in computer science
Subjects:	Programming languages (Electronic computers) Logic, Symbolic and mathematical.
Format:	Book

EPS Library, Level 2

Holdings details from EPS Library, Level 2
Call Number Copy Loan Type Status Request
QA 76.6 .M426 AU18187765B For loan Available now Request this copy