به كارگيري وارسي كمّي و الگوريتم هاي يادگيري در طراحي نرم افزارهاي خودانطباق
/ محمد زارع پور
به كارگيري وارسي كمّي و الگوريتم هاي يادگيري در طراحي نرم افزارهاي خودانطباق
نویسنده
/ محمد زارع پورنسخه 1
فهرست
شناسنامه
سرشناسه
زارع پور، محمد، نویسندهعنوان و نام پدیدآور
به كارگيري وارسي كمّي و الگوريتم هاي يادگيري در طراحي نرم افزارهاي خودانطباق / / محمد زارع پورمشخصات ظاهری
91ص.؛ : تصوير.موضوع
سيستمهاي خودتطبيقمدلسازي رسمي
وارسي رسمي
زبان
فارسی