دانلود کتاب 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 برای محلی سازی خطاها |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟