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