کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFormal methods for software architectures :Third International School on Formal Methods for the
پدیدآورنده: Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: Congresses ، Real-time data processing,Congresses ، Formal methods )Computer science(,Congresses ، Computer systems,Congresses ، Computer software
رده :
QA
76
.
754
.
F67
2003


Formal methods for software architectures : Third International School on Formal Methods for the
پدیدآورنده: Marco Bernardo, Paola Inverardi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software,، Computer architecture,، System design,، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2804

