کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابVerification of Sequential and Concurrent Programs
پدیدآورنده: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997


Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog.
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer software--Verification.
رده :
QA
76
.
76
.
V47A67
2009


Verification of sequential and concurrent programs
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer software-- Verification
رده :
QA
76
.
76
.
V47
.
A67
1997


Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Ernst-Rudiger Olderog
کتابخانه: کتابخانه پرديس 2 دانشکدههای فنی دانشگاه تهران (تهران)
موضوع: Computer software -- Verification
رده :
QA
76
.
76
.
V47A67
1997


Verification of sequential and concurrent programs
پدیدآورنده: Krzysztof R. Apt, Ernst-Rudiger Olderog
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification
رده :
QA
76
.
76
.
V47A75


Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Reudiger Olderog
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification
رده :
QA
,
76
.
76
,.
V47
,
A67
,
2009


Verification of sequential and concurrent programs
پدیدآورنده: / Krzysztof R. Apt, Frank S. de Boer, Ernst-Rudiger Olderog
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Computer software, Verification
رده :
QA76
.
76
.
V47A67


Verification of sequential and concurrent programs
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Verification. ;
