کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFormal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Formal methods (Computer science) ► Computer software ► Computer systems-Design
رده :
004
F723
Formal methods in software and systems modeling : essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
پدیدآورنده: Hans-Jorg Kreowski...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal methods )Computer science(,، Computer software,Design ، Computer systems
رده :
QA
76
.
L28
Vol
.
3393
