مدلسازی و درستییابی عملیات مرتبط با رشته
علی شماخی
مدلسازی و درستییابی عملیات مرتبط با رشته
Author
علی شماخیEdition 1
list
شناسنامه
Main Entry
شماخی، علی، نویسندهTitle and Author
مدلسازی و درستییابی عملیات مرتبط با رشته / علی شماخیPhysical Description
د،51،سیزدهمص.؛ جدول، نمودار، تصویر.Subject
عملیات مرتبط با رشتهعبارت هُرن مقید
وارسي مدل
درستییابی نرمافزار
درستییابی نرمافزار
Model Checking
Language
فارسی