کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

Verification of sequential and concurrent programs

پدیدآورنده:

کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)

موضوع: Computer software--Verification.

رده :
QA
76
.
76
.
V47A67
2009

Verification of sequential and concurrent programs

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer software-- Verification

رده :
QA
76
.
76
.
V47
.
A67
1997

Verification of sequential and concurrent programs

پدیدآورنده:

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع: Computer software -- Verification

رده :
QA
76
.
76
.
V47A67
1997

Verification of sequential and concurrent programs

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Computer software -- Verification

رده :
QA
76
.
76
.
V47A75

Verification of sequential and concurrent programs

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer software ; Verification. ;