السلام عليكم،
هناك أسئلة محددة عن ال(التنفيذ الرمزي Symbolic execution و منطق هواري Hoare Logic )، أريد المستقل أن يشرحها لي، ممكن نتناقش بتفاصيل أكثر حين التواصل.
مدة الشرح مفتوحة و ممكن تستغرق الى٧-١٤ يوم، ٥ ساعات.
انا باحث في علوم الحاسب و لدي خبره في هندسة البرمجيات يمكننك مراجعة المشاريع المكتمله لدي في ذلك كما اني مت بشرح المادة للطلاب من قبل يمكنني اتمام العمل علي اكم...
السلام عليكم ورحمة الله وبركاته حاصلة على دكتوراه علوم في علم الحاسوب ... يمكنك التواصل معي لمعرفة التفاصيل تمنياتي لك بالتوفيق