English
صفحه نخست
ورود اعضاء هیات علمی
گوگل اسکولار
بیوگرافی
اطلاعات آموزشی
مقالات
طرحهای پژوهشی
کتاب و تالیفات
اختراعات
جوایز و افتخارات
کارگاه های آموزشی
تابلوی اعلانات
مرکز دانلود
رزومه
لیست اساتید
وب سایت دانشگاه
Books
عنوان :
روش هاي رسمي در مهندسي نرم افزار: توصيف و وارسي برنامه با استفاده از زبان مدل سازي Alloy
تاریخ نشر :
1403
نوع اثر :
تالیف
انتشارات:
انتشارات دانشگاه آزاد اسلامي واحد نجف آباد
تعداد صفحات:
228
همکاران:
شهره آجودانیان