کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابVerification of sequental and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Ernest - Rudiger olderog
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer software - - Verification
رده :
QA
76
.
76
.
V47A67
1991
