کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابPredicate calculus and program semantics
پدیدآورنده: Dijkstra, Edsger W
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Predicate calculus ► Programming languages(Electronic computers)- Semantics
رده :
511
D575p


Predicate calculus and program semantics
پدیدآورنده: Edsger W. Dijkstra, Carel S. Scholten
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989

