Mathematical logic and programming languages

Saved in:

Bibliographic Details
Other Authors:	Hoare, C. A. R. 1934- Charles Antony Richard, Shepherdson, J. C 1934- Charles Antony Richard
Format:	Book
Published:	Englewood Cliffs, N.J. Prentice/Hall International 1985
Series:	Prentice Hall International series in computer science
Subjects:	Programming languages (Electronic computers) Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet