کتابعلوم کامپیوتر، اطلاع رسانی و کلیاتعلوم کامپیوتر، دانش و سیستمهاداده پردازی علوم کامپیوترMathematical principles
روش‌های رسمی در مهندسی نرم‌افزار: توصیف و وارسی برنامه با استفاده از زبان مدل‌سازی Alloy
روش‌های رسمی در مهندسی نرم‌افزار: توصیف و وارسی برنامه با استفاده از زبان مدل‌سازی Alloy
مؤلف:
 شهره آجودانیان
ناشر: دانشگاه آزاد اسلامی، واحد نجف آباد
زبان: فارسی
رده‌بندی دیویی: 004.0151
سال چاپ: 1403
نوبت چاپ: 1
تعداد صفحات: 222
شابک 10 رقمی: 9641071025
شابک 13 رقمی: 9789641071020
کد کتاب در گیسوم: 44933781
اشتراک‌گذاری:
موجود شد خبرم کندرخواست تهیهافزودن تـصویرافزودن محـتواکــتاب رو دارمثبت برای فروشافزودن به کتابخانهاصلاح اطلاعات کتاب
برچسب‌های کتاب روش‌های رسمی در مهندسی نرم‌افزار: توصیف و وارسی برنامه با استفاده از زبان مدل‌سازی Alloy
Mathematical principles
داده پردازی علوم کامپیوتر
زبان‌های الگوسازی (کامپیوتر)
علوم کامپیوتر - ریاضیات
علوم کامپیوتر، اطلاع رسانی و کلیات
علوم کامپیوتر، دانش و سیستمها
نرم‌افزار - استفاده مجدد
نرم‌افزار - مهندسی