مدلسازی و درستییابی عملیات مرتبط با رشته
علی شماخی
مدلسازی و درستییابی عملیات مرتبط با رشته
المؤلف
علی شماخیطبع 1
قائمة
شناسنامه
المدخل الرئيسي
شماخی، علی، نویسندهالعنوان واسم المؤلف
مدلسازی و درستییابی عملیات مرتبط با رشته / علی شماخیالمواصفات الشكلية
د،51،سیزدهمص.؛ جدول، نمودار، تصویر.الموضوع
عملیات مرتبط با رشتهعبارت هُرن مقید
وارسي مدل
درستییابی نرمافزار
درستییابی نرمافزار
Model Checking
اللغة
فارسی