کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابThe Correctness problem in computer science
پدیدآورنده: edited by R. S. Boyer and J Strother Moore
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer programs -- Correctness
رده :
QA
76
.
6
.
C663
