عنوان

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

کتابخانه

کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان

محل استقرار

استان: اصفهان ـ شهر: اصفهان