عنوان
پدید آورنده
موضوع
رده
QA76.6 .M3646 1985
QA76
.
6
.
M3646
1985
کتابخانه
محل استقرار
استان: أذربایجان الشرقیة ـ شهر: تبریز
IR
78-14516
انگلیسی
IR
Mathematical logic and programming languages
[Book]
/ Edited by C. A. R. Hoare, J. C. Shepherdson
Englewood Cliffs
: prentice Hall International
, 1985.
184 p.
: ill.
; 25 cm
(Prentice Hall International series in computer science)
Language: انگلیسی
"The papers in this book were first published in the philosophical transactions of the Royal society series A. Volume 312, 1984.
Includes bibliographies.
Print
Programming languages (Electronic computers)
Logic, symbolic and mathematical
QA76
.
6
.
M3646
1985
Hoare, C. A. R. (Charles Antony Richard)
Shepherdson, J. C
S
ایران
old catalog
p
BL
1
a
Y
