-
RecordNumber
2818
-
Title
Mathematical logic and programming languages
-
Author Statement
Edited by C.A.R. Hoare, and J.C. Shepherdson
-
Publication
Prentice-Hall International
-
Publication Year
1985
-
Collation
184P., illus
-
Series
Prentice-Hall International series in computer science
-
Notes
Includes bibliographies , The papers in this book were first published in the Philosophical Transactions of the Royal Society, series A, Volum 312, 1984
-
Subject
Programming languages (Electronic computers) , Logic,Symbolic and mathematical
-
ADDED ENTRIES
Shepherdson, J.C. ed , Hoare, C. A.R. ed
-
LC Class
QA
-
LC Number
9
-
LC CutterNumber
.M299
-
Link To Document :
