کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابThe deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
پدیدآورنده: Zohar Manna, Richard Waldinger
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35
