Mathematical Logic and Programming Languages (Prentice-Hall International Series in Computer Science)
C. A. R. Hoare; Shepherdson, J. C
Prentice Hall (1985)
In Collection
#994
0*
Logic, Symbolic and mathematical, Programming languages (Electronic computers)
Hardcover 0135614651
eng
Product Details
LoC Classification QA76.6.M3646 1985
Dewey 005.13/3
Cover Price $53.40
No. of Pages 165
Height x Width 9.8 x 7.5  inch
Personal Details
Read It No
Location B2
Links Amazon US
Notes
"The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984."