دانلود کتاب Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l’aide à la localisation d’erreurs : exploration des capacités des CSP pour la localisation d’erreurs
by Mohammed Bekkouche
|
عنوان فارسی: ترکیبی از تکنیک های کنترل مدل محدود و برنامه نویسی محدود برای کمک به بومی سازی خطاها: بررسی قابلیت های CSP برای محلی سازی خطاها |