Books

عنوان : روش هاي رسمي در مهندسي نرم افزار: توصيف و وارسي برنامه با استفاده از زبان مدل سازي Alloy
تاریخ نشر : 1403
نوع اثر : تالیف
انتشارات: انتشارات دانشگاه آزاد اسلامي واحد نجف آباد
تعداد صفحات: 228
همکاران: شهره آجودانیان
تصویر جلد کتاب