کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتاب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
The logical basis for computer programming
پدیدآورنده : / Zohar Manna, Richard Waldinger
موضوع :
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
The logical basis for computer programming
پدیدآورنده: Manna, Zohar
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
The logical basis for computer programming
پدیدآورنده: Manna, Zohar
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M35595
1985
