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

معرفی کتاب «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» نوشتهٔ Mohammed Bekkouche، منتشرشده توسط نشر 0. این کتاب در فرمت pdf، زبان فرانسوی ارائه شده است.