عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M3646 1985
QA
76
.
6
.
M3646
1985
کتابخانه
محل استقرار
65439w
65462
English
Mathematical logic and programming languages
Englewood Cliffs, N.J.
Prentice/Hall International
1985
184 p. : ill. ; 25 cm
Prentice Hall International series in computer science
The papers in this book were first published in the Philosophical transactions of the Royal Society, Series A, volume 312, 1984
Includes bibliographies
edited by C.A.R. Hoare and J.C. Shepherdson
، Programming languages )Electronic computers(
، Logic, Symbolic and mathematical
QA
76
.
6
.
M3646
1985
TI
AU drahciR ynotnA selrahC ,eraoH ed. 1934-
AU .C .J ,nosdrehpehS
تموجود نیس
یاضه ریه دانشکدانابخکت
