عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M3646 1985
QA
76
.
6
.
M3646
1985
کتابخانه
محل استقرار
0135614651
IR
123
انگلیسی
IR
Mathematical logic and programming languages
[Book]
/ edited by C.A.R. Hoare and J.C. Shepherdson
Englewood Cliffs, N.J.
: Prentice/Hall International
, 1985.
184 p.
: ill.
; 25 cm
(Prentice Hall International series in computer science)
Language: English
The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984
Includes bibliographies
Programming languages (Electronic computers)
Logic, Symbolic and mathematical
QA
76
.
6
.
M3646
1985
Hoare, Charles Antony Richard, 1934-, ed
Shepherdson, J. C
Iran
University of Tehran. College of Science Library
QA 76.6 .M3646 1985
old catalog
BL
1
a
Y
